Manuel Kauers, Peter Paule,
"A Computer Proof of Moll's Log-Concavity Conjecture"
, Serie SFB F013 Reports, Nummer 2006-15, JKU Linz, Altenbergerstraße 69, 4040 Linz, 8-2006
Original Titel:
A Computer Proof of Moll's Log-Concavity Conjecture
Sprache des Titels:
Englisch
Original Kurzfassung:
In his study on quartic integrals, Moll met a specialized family of Jacobi polynomials. Moll conjectured that the corresponding coefficient sequences are log-concanve. In this paper, we settle Moll's conjecture by a non-trivial usage of computer algebra