Manuel Kauers, Stefan Gerhold,
"A Computer Proof of Turan's Inequality"
, in Journal of Inequalities in Pure and Applied Mathematics, Vol. 7, Nummer 2, Seite(n) 1-4, 5-2006, ISSN: 1443-5756
Original Titel:
A Computer Proof of Turan's Inequality
Sprache des Titels:
Englisch
Original Kurzfassung:
We show how Turan's inequality $P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq0$ for Legendre Polynomials and related inequalities can be proven by means of a computer procedure. The use of this procedure simplifies the daily work with inequalities. For instance, we have found the stronger inequality $|x|P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq0$ ($-1\leq x\leq 1$) effortlessly with the aid of our method},
journal = {Journal of Inequalities in Pure and Applied Mathematics
Sprache der Kurzfassung:
Englisch
Journal:
Journal of Inequalities in Pure and Applied Mathematics
Forschungs-