A procedure for proving special function inequalities involving a discrete parameter
DOI10.1145/1073884.1073907zbMATH Open1360.68933OpenAlexW2002543270MaRDI QIDQ5262757FDOQ5262757
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
Recommendations
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)
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
- SumCracker: A package for manipulating symbolic sums and related objects
- Interpolation and model checking for nonlinear arithmetic
- Summation algorithms for Stirling number identities
- A Computer Proof of Moll’s Log-Concavity Conjecture
- A comparison of algorithms for proving positivity of linearly recurrent sequences
- 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
- Computer algebra for special function inequalities
- Inverse inequality estimates with symbolic computation
- 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
- Calcium. Computing in exact real and complex fields
- On \(C^2\)-finite sequences
- An efficient procedure deciding positivity for a class of holonomic functions
- Solving difference equations whose coefficients are not transcendental
- 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)
