A procedure for proving special function inequalities involving a discrete parameter

DOI10.1145/1073884.1073907MaRDI QIDQ5262757zbMATH OpenOpenAlexFDO

Authors Stefan Gerhold, M. 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) Inequalities for sums, series and integrals (26D15) Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.) (33C45) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Recommendations

• Computer algebra for special function inequalities
• On one method of proving inequalities in automated way
• Some notes on a method for proving inequalities by computer
• scientific article; zbMATH DE number 1745034
• MetiTarski: An Automatic Prover for the Elementary Functions

Cited in

(24)

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

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

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