A hypergeometric inequality
From MaRDI portal
Publication:259718
DOI10.1007/s00026-015-0294-5zbMath1334.33015OpenAlexW2247957401MaRDI QIDQ259718
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
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- The unimodality of a polynomial coming from a rational integral. Back to the original proof
- How to use cylindrical algebraic decomposition
- Positivity of certain sums over Jacobi kernel polynomials
- On Turán's inequality for Legendre polynomials
- A remarkable sequence of integers
- A formula for a quartic integral: a survey of old proofs and some new ones
- Partial cylindrical algebraic decomposition for quantifier elimination
- A criterion for unimodality
- An integral hidden in Gradshteyn and Ryzhik
- A sequence of unimodal polynomials
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Proof of Moll's minimum conjecture
- Solving systems of strict polynomial inequalities
- SumCracker: A package for manipulating symbolic sums and related objects
- Computing cylindrical algebraic decomposition via triangular decomposition
- When can we detect that a P-finite sequence is positive?
- Termination conditions for positivity proving procedures
- The ratio monotonicity of the Boros-Moll polynomials
- The reverse ultra log-concavity of the Boros-Moll polynomials
- QEPCAD B
- A procedure for proving special function inequalities involving a discrete parameter
- 2-Log-Concavity of the Boros–Moll Polynomials
- A Computer Proof of Moll’s Log-Concavity Conjecture
This page was built for publication: A hypergeometric inequality
