A Computer Proof of Moll’s Log-Concavity Conjecture

DOI10.1090/S0002-9939-07-08912-5MaRDI QIDQ5423939zbMATH OpenWikidataFDO

Authors M. Kauers, Peter Paule

Publication date 1 November 2007

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/S0002-9939-07-08912-5

zbMATH Keywords

CADcomputer algebrainequalitiesmulti-summation

Mathematics Subject Classification ID

Combinatorial inequalities (05A20) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Recommendations

• Proof of Moll's minimum conjecture
• 2-log-concavity of the Boros-Moll polynomials
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• The log-concavity of Kazhdan-Lusztig polynomials of uniform matroids
• scientific article; zbMATH DE number 4099672

Cites work

• A procedure for proving special function inequalities involving a discrete parameter
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• An integral hidden in Gradshteyn and Ryzhik
• scientific article; zbMATH DE number 2123129 (Why is no real title available?)
• scientific article; zbMATH DE number 3497890 (Why is no real title available?)
• scientific article; zbMATH DE number 2159646 (Why is no real title available?)
• scientific article; zbMATH DE number 2115009 (Why is no real title available?)
• 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

Cited in

(35)

• A remarkable sequence of integers
• Infinite log-concavity: developments and conjectures
• Using a computer to obtain Chebotarev bounds in the nonhomogeneous Minkowski's conjecture
• The real-rootedness of generalized Narayana polynomials related to the Boros-Moll polynomials
• Skew log-concavity of the Boros-Moll sequences
• The greatest lower bound of a Boros-Moll sequence
• On the combinatorics of the Boros-Moll polynomials
• A short proof of Moll's minimal conjecture
• A hypergeometric inequality
• On multiple and infinite log-concavity
• The log-concavity of Kazhdan-Lusztig polynomials of uniform matroids
• The ratio monotonicity of the Boros-Moll polynomials
• Iterated sequences and the geometry of zeros
• Nested log-concavity
• The reverse ultra log-concavity of the Boros-Moll polynomials
• The unimodality of a polynomial coming from a rational integral. Back to the original proof
• Partially 2-colored permutations and the Boros-Moll polynomials
• Positivity of iterated sequences of polynomials
• The concavity and convexity of the Boros-Moll sequences
• Higher order Turán inequalities for Boros-Moll sequences
• Log-Concavity of Combinations of Sequences and Applications to Genus Distributions
• 2-log-concavity of the Boros-Moll polynomials
• scientific article; zbMATH DE number 5224557 (Why is no real title available?)
• A simple proof of higher order Turán inequalities for Boros-Moll sequences
• The log-concavity of Kazhdan-Lusztig polynomials of thagomizer matroids
• 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
• Higher order log-concavity in Euler's difference table
• Some criteria for higher order Turán inequalities in the spirit of Mařík's theorem
• The ultra log-concavity of Z -polynomials and γ -polynomials of uniform matroids
• On the log-concavity of the \(n\)-th root of sequences
• On the positivity of the Gillis-Reznick-Zeilberger rational function
• Computing one of Victor Moll's irresistible integrals with computer algebra
• The 2-adic valuation of a sequence arising from a rational integral

Describes a project that uses

Uses Software

• SumCracker
• SIGMA
• GeneratingFunctions
• MultiSum

This page was built for publication: A Computer Proof of Moll’s Log-Concavity Conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423939)