| |
|
|
| |
Volume 7, Issue 2, Article 42 |
|
|
|
|
|
| |
A Computer Proof of Turán's Inequality
|
| |
|
Authors: |
Stefan Gerhold, Manuel Kauers, |
|
| |
|
Keywords:
|
Turán's inequality, Cylindrical Algebraic Decomposition. |
|
| |
|
Date Received:
|
20/09/05 |
|
| |
|
Date Accepted:
|
10/03/06 |
|
| |
|
Subject Codes: |
26D07, 33C45, 33F10.
|
|
| |
|
Editors: |
Doru Stefanescu, |
|
| |
|
|
|
|
|
| |
|
Abstract: |
We show how Turán's inequality  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  ,  , effortlessly with the aid of our method.
|
|
|
|
|
|
| |
|
|
|
|
| |
|
|
|
|
|
Home
