Stefan Gerhold

most citedA Computer Proof of Turan's Inequality

11 citations · 12 across the 3 of their papers we have counts for

collaborators

3 papers

math.CA2005★ 11 cited

A Computer Proof of Turan's Inequality

S. Gerhold, M. Kauers

We show how Turan's inequality $P_{n} (x)^{2} - P_{n - 1} (x) P_{n + 1} (x) \geq 0$ for Legendre polynomials and related inequalities can be proven by means of a computer procedure. The use of th…

math.CO2005★ 1 cited

The Positivity Set of a Recurrence Sequence

Jason P. Bell, Stefan Gerhold

We consider real sequences $(f_{n})$ that satisfy a linear recurrence with constant coefficients. We show that the density of the positivity set of such a sequence always exists. In…

math.NT2005

Point Lattices and Oscillating Recurrence Sequences

Stefan Gerhold

We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the…