A Computer Proof of Moll’s Log-Concavity Conjecture-Reference-Cited by-同舟云学术

A Computer Proof of Moll’s Log-Concavity Conjecture

Published:2007-09-10 Issue:12 Volume:135 Page:3847-3856
ISSN:0002-9939
Container-title:Proceedings of the American Mathematical Society
language:en
Short-container-title:Proc. Amer. Math. Soc.

Author:

Kauers Manuel,Paule Peter

Abstract

In a study on quartic integrals, Moll met a specialized family of Jacobi polynomials. He conjectured that the corresponding coefficient sequences are log-concave. In this paper we settle Moll’s conjecture by a nontrivial usage of computer algebra.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/proc/2007-135-12/S0002-9939-07-08912-5/S0002-9939-07-08912-5.pdf

Reference11 articles.

1. An integral hidden in Gradshteyn and Ryzhik;Boros, George;J. Comput. Appl. Math.,1999

2. George Boros and Victor H. Moll. Irresistible Integrals. Cambridge University Press, Cambridge, 2004.

3. Texts and Monographs in Symbolic Computation,1998

4. Quantifier elimination for real closed fields by cylindrical algebraic decomposition;Collins, George E.,1975

5. Stefan Gerhold and Manuel Kauers. A procedure for proving special function inequalities involving a discrete parameter. In Proceedings of ISSAC’05, pages 156–162, 2005.

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the log-concavity of the n-th root of sequences;Journal of Symbolic Computation;2025-03

2. The ultra log-concavity of Z -polynomials and γ -polynomials of uniform matroids;Journal of Difference Equations and Applications;2024-05-13

3. Properties arising from Laguerre-Pólya class for the Boros-Moll numbers;Advances in Applied Mathematics;2024-03

4. Some criteria for higher order Turán inequalities in the spirit of Mařík's theorem;Journal of Difference Equations and Applications;2024-02-12

5. On the concavity properties of certain arithmetic sequences and polynomials;Mathematische Zeitschrift;2023-10-04