A hypergeometric inequality
From MaRDI portal
Publication:259718
DOI10.1007/S00026-015-0294-5zbMATH Open1334.33015OpenAlexW2247957401MaRDI QIDQ259718FDOQ259718
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
Recommendations
Cites Work
- SumCracker: A package for manipulating symbolic sums and related objects
- QEPCAD B
- 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
- 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
- Computer algebra for special function inequalities
- 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
- 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
- Title not available (Why is that?)
- How to use cylindrical algebraic decomposition
- Positivity of certain sums over Jacobi kernel polynomials
- On Turán's inequality for Legendre polynomials
Cited In (1)
Uses Software
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)