A procedure for proving special function inequalities involving a discrete parameter

DOI10.1145/1073884.1073907zbMath1360.68933OpenAlexW2002543270MaRDI QIDQ5262757

Stefan Gerhold, Manuel Kauers

Publication date: 16 July 2015

Published in: Proceedings of the 2005 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.359

zbMATH Keywords

inequalitiesspecial functionscylindrical algebraic decompositioncomputer proofs

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Inequalities for sums, series and integrals (26D15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (21)

Differential equation and inequalities of the generalized \(\mathtt{k}\)-Bessel functions ⋮ Interpolation and model checking for nonlinear arithmetic ⋮ Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes ⋮ Inverse inequality estimates with symbolic computation ⋮ Order bounds for C2-finite sequences ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ Computing error bounds for asymptotic expansions of regular P-recursive sequences ⋮ Closed form solutions of linear difference equations in terms of symmetric products ⋮ Solving difference equations whose coefficients are not transcendental ⋮ SumCracker: A package for manipulating symbolic sums and related objects ⋮ On the positivity of the Gillis-Reznick-Zeilberger rational function ⋮ Summation algorithms for Stirling number identities ⋮ Positivity of certain sums over Jacobi kernel polynomials ⋮ A Computer Proof of Moll’s Log-Concavity Conjecture ⋮ On Turán's inequality for Legendre polynomials ⋮ Difference Equation Theory Meets Mathematical Finance ⋮ An extension of holonomic sequences: \(C^2\)-finite sequences ⋮ A comparison of algorithms for proving positivity of linearly recurrent sequences ⋮ Representation of hypergeometric products in difference rings ⋮ An efficient procedure deciding positivity for a class of holonomic functions ⋮ A hypergeometric inequality

This page was built for publication: A procedure for proving special function inequalities involving a discrete parameter