A Computer Proof of Moll’s Log-Concavity Conjecture
From MaRDI portal
Publication:5423939
DOI10.1090/S0002-9939-07-08912-5zbMath1126.33009WikidataQ122927664 ScholiaQ122927664MaRDI QIDQ5423939
Publication date: 1 November 2007
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Combinatorial inequalities (05A20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items (29)
A short proof of Moll's minimal conjecture ⋮ Positivity of Iterated Sequences of Polynomials ⋮ Higher order Turán inequalities for Boros-Moll sequences ⋮ A simple proof of higher order Turán inequalities for Boros-Moll sequences ⋮ The log-concavity of Kazhdan-Lusztig polynomials of thagomizer matroids ⋮ The unimodality of a polynomial coming from a rational integral. Back to the original proof ⋮ On the concavity properties of certain arithmetic sequences and polynomials ⋮ Properties arising from Laguerre-Pólya class for the Boros-Moll numbers ⋮ Series evaluation of a quartic integral ⋮ Partially 2-colored permutations and the Boros-Moll polynomials ⋮ The log-concavity of Kazhdan-Lusztig polynomials of uniform matroids ⋮ Higher order log-concavity in Euler's difference table ⋮ The concavity and convexity of the Boros-Moll sequences ⋮ 2-Log-Concavity of the Boros–Moll Polynomials ⋮ On the positivity of the Gillis-Reznick-Zeilberger rational function ⋮ The real-rootedness of generalized Narayana polynomials related to the Boros-Moll polynomials ⋮ The 2-adic valuation of a sequence arising from a rational integral ⋮ Nested Log-Concavity ⋮ Skew log-concavity of the Boros-Moll sequences ⋮ On the combinatorics of the Boros-Moll polynomials ⋮ The ratio monotonicity of the Boros-Moll polynomials ⋮ Iterated sequences and the geometry of zeros ⋮ The reverse ultra log-concavity of the Boros-Moll polynomials ⋮ A remarkable sequence of integers ⋮ Infinite log-concavity: developments and conjectures ⋮ Log-Concavity of Combinations of Sequences and Applications to Genus Distributions ⋮ The greatest lower bound of a Boros-Moll sequence ⋮ A hypergeometric inequality ⋮ On multiple and infinite log-concavity
Uses Software
Cites Work
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An integral hidden in Gradshteyn and Ryzhik
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- SumCracker: A package for manipulating symbolic sums and related objects
- A procedure for proving special function inequalities involving a discrete parameter
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A Computer Proof of Moll’s Log-Concavity Conjecture
