A procedure for proving special function inequalities involving a discrete parameter
From MaRDI portal
Publication:5262757
DOI10.1145/1073884.1073907zbMath1360.68933OpenAlexW2002543270MaRDI QIDQ5262757
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
