5 citations · 6 across the 4 of their papers we have counts for
4 papers
Order bounds for -finite sequences
Manuel Kauers, Philipp Nuspl, Veronika Pillwein
A sequence is called -finite if it satisfies a linear recurrence with constant coefficients. We study sequences which satisfy a linear recurrence with -finite coefficients. R…
Recursion formulas for integrated products of Jacobi polynomials
Sven Beuchler, Tim Haubold, Veronika Pillwein
From the literature it is known that orthogonal polynomials as the Jacobi polynomials can be expressed by hypergeometric series. In this paper, the authors derive several contiguou…
Dominance in the family of Sugeno-Weber t-norms
Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz
The dominance relationship between two members of the family of Sugeno Weber t-norms is proven by using a quantifer elimination algorithm. Further it is shown that dominance is a t…
When can we decide that a P-finite sequence is positive?
Manuel Kauers, Veronika Pillwein
We consider two algorithms which can be used for proving positivity of sequences that are defined by a linear recurrence equation with polynomial coefficients (P-finite sequences).…