Pages that link to "Item:Q4164353"

The following pages link to Decision procedure for indefinite hypergeometric summation (Q4164353):

Displaying 50 items.

• A more accurate approximation for the gamma function (Q266632) (← links)
• On some congruences of certain binomial sums (Q282980) (← links)
• Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec (Q286798) (← links)
• Some new asymptotic approximations of the gamma function based on Nemes' formula, Ramanujan's formula and Burnside's formula (Q298780) (← links)
• Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials (Q314451) (← links)
• Unified treatment of several asymptotic formulas for the gamma function (Q372854) (← links)
• Pfaffian decomposition and a Pfaffian analogue of \(q\)-Catalan Hankel determinants (Q388197) (← links)
• A Riccati differential equation and free subgroup numbers for lifts of \(\mathrm{PSL}_2(\mathbb Z)\) modulo prime powers (Q388726) (← links)
• A new asymptotic expansion and some inequalities for the gamma function (Q401996) (← links)
• On the summability of bivariate rational functions (Q403066) (← links)
• On Ramanujan's large argument formula for the gamma function (Q411275) (← links)
• The extended Zeilberger algorithm with parameters (Q413409) (← links)
• Trading order for degree in creative telescoping (Q414630) (← links)
• A symbolic summation approach to Feynman integral calculus (Q432757) (← links)
• The lower bound of the PCM quantization error in high dimensions (Q466980) (← links)
• On the divisibility properties of certain binomial sums (Q472824) (← links)
• On the existence of telescopers for mixed hypergeometric terms (Q480640) (← links)
• A difference ring theory for symbolic summation (Q492025) (← links)
• Padé approximant related to asymptotics for the gamma function (Q517760) (← links)
• Efficient approximations of the gamma function and further properties (Q520320) (← links)
• A substantial improvement of the Stirling formula (Q540286) (← links)
• Valuations of rational solutions of linear difference equations at irreducible polynomials (Q550267) (← links)
• A new Stirling series as continued fraction (Q621779) (← links)
• Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences (Q650836) (← links)
• Parameterized telescoping proves algebraic independence of sums (Q659607) (← links)
• Asymptotic formulas for gamma function with applications (Q670825) (← links)
• On the asymptotic expansions of the gamma function related to the Nemes, Gosper and Burnside formulas (Q671042) (← links)
• A new approximation of the gamma function by expanding the Windschitl's formula (Q681275) (← links)
• Sharp Smith's bounds for the gamma function (Q681500) (← links)
• Rational normal forms and minimal decompositions of hypergeometric terms (Q697479) (← links)
• Remarks on asymptotic expansions for the gamma function (Q714588) (← links)
• Asymptotic expansions for the gamma function (Q739281) (← links)
• A general asymptotic formula of the gamma function based on the Burnside's formula (Q741685) (← links)
• The method of differentiating under the integral sign (Q754021) (← links)
• Formal solutions of differential equations (Q803209) (← links)
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)'') multisum/integral identities (Q811594) (← links)
• An accurate approximation formula for gamma function (Q824475) (← links)
• Windschitl type approximation formulas for the gamma function (Q824821) (← links)
• On the bottom summation (Q840025) (← links)
• Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation (Q850522) (← links)
• \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
• Padé approximations to the logarithm. III: Alternative methods and additional results (Q874896) (← links)
• A new fast asymptotic series for the gamma function (Q895645) (← links)
• Sharp inequalities and asymptotic expansions for the gamma function (Q897553) (← links)
• Inequalities and asymptotic expansions for the gamma function related to Mortici's formula (Q907502) (← links)
• Some new quicker continued fraction approximations for the gamma function related to the Nemes' formula (Q907584) (← links)
• A fast algorithm for proving terminating hypergeometric identities (Q913796) (← links)
• Improved universal denominators (Q926619) (← links)
• A refined difference field theory for symbolic summation (Q931139) (← links)
• Converging to Gosper's algorithm (Q950412) (← links)