A hypergeometric inequality

DOI10.1007/S00026-015-0294-5MaRDI QIDQ259718zbMATH OpenOpenAlexFDO

Authors Atul Dixit, Victor H. Moll, Veronika Pillwein

Publication date 18 March 2016

Published in Annals of Combinatorics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00026-015-0294-5

zbMATH Keywords

hypergeometric functionmonotonicityunimodal polynomials

Mathematics Subject Classification ID

Classical hypergeometric functions, ({}_2F_1) (33C05)

Recommendations

• Unimodality of certain sequences connected with binomial coefficients
• A criterion for unimodality
• Quelques exemples de suites unimodales en théorie des nombres
• An inequality and its applications
• scientific article; zbMATH DE number 2219703

Cites work

• scientific article; zbMATH DE number 5224557 (Why is no real title available?)
• 2-log-concavity of the Boros-Moll polynomials
• A Computer Proof of Moll’s Log-Concavity Conjecture
• A criterion for unimodality
• A formula for a quartic integral: a survey of old proofs and some new ones
• A procedure for proving special function inequalities involving a discrete parameter
• A remarkable sequence of integers
• A sequence of unimodal polynomials
• An integral hidden in Gradshteyn and Ryzhik
• Computer algebra for special function inequalities
• Computing cylindrical algebraic decomposition via triangular decomposition
• How to use cylindrical algebraic decomposition
• On Turán's inequality for Legendre polynomials
• Partial cylindrical algebraic decomposition for quantifier elimination
• Positivity of certain sums over Jacobi kernel polynomials
• Proof of Moll's minimum conjecture
• QEPCAD B
• Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
• Solving systems of strict polynomial inequalities
• SumCracker: A package for manipulating symbolic sums and related objects
• Termination conditions for positivity proving procedures
• The ratio monotonicity of the Boros-Moll polynomials
• 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
• When can we detect that a P-finite sequence is positive?

Cited in

(1)

• The unimodality of a polynomial coming from a rational integral. Back to the original proof

Describes a project that uses

Uses Software

• QEPCAD
• SumCracker
• REDLOG
• HolonomicFunctions

This page was built for publication: A hypergeometric inequality

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