Pages that link to "Item:Q5262757"
From MaRDI portal
The following pages link to A procedure for proving special function inequalities involving a discrete parameter (Q5262757):
Displaying 22 items.
- A hypergeometric inequality (Q259718) (← links)
- Inverse inequality estimates with symbolic computation (Q308968) (← links)
- On the positivity of the Gillis-Reznick-Zeilberger rational function (Q670644) (← links)
- Differential equation and inequalities of the generalized \(\mathtt{k}\)-Bessel functions (Q824671) (← links)
- Interpolation and model checking for nonlinear arithmetic (Q832268) (← links)
- Solving difference equations whose coefficients are not transcendental (Q935167) (← links)
- Positivity of certain sums over Jacobi kernel polynomials (Q950413) (← links)
- On Turán's inequality for Legendre polynomials (Q996999) (← links)
- An extension of holonomic sequences: \(C^2\)-finite sequences (Q2100068) (← links)
- A comparison of algorithms for proving positivity of linearly recurrent sequences (Q2109988) (← links)
- Closed form solutions of linear difference equations in terms of symmetric products (Q2437293) (← links)
- SumCracker: A package for manipulating symbolic sums and related objects (Q2457385) (← links)
- Summation algorithms for Stirling number identities (Q2469233) (← links)
- Difference Equation Theory Meets Mathematical Finance (Q3387111) (← links)
- Sequence positivity through numeric analytic continuation: uniqueness of the Canham model for biomembranes (Q5051360) (← links)
- Representation of hypergeometric products in difference rings (Q5268821) (← links)
- An efficient procedure deciding positivity for a class of holonomic functions (Q5270177) (← links)
- A Computer Proof of Moll’s Log-Concavity Conjecture (Q5423939) (← links)
- Representation of hypergeometric products of higher nesting depths in difference rings (Q6115788) (← links)
- Computing error bounds for asymptotic expansions of regular P-recursive sequences (Q6181106) (← links)
- On \(C^2\)-finite sequences (Q6666540) (← links)
- Calcium. Computing in exact real and complex fields (Q6666541) (← links)
