Decision procedure for indefinite hypergeometric summation

DOI10.1073/PNAS.75.1.40zbMath0384.40001OpenAlexW2153531485WikidataQ33953258 ScholiaQ33953258MaRDI QIDQ4164353

R. William Gosper

Publication date: 1978

Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1073/pnas.75.1.40

Mathematics Subject Classification ID

Convergence and divergence of series and sequences (40A05) Approximation to limiting values (summation of series, etc.) (40A25)

Related Items (only showing first 100 items - show all)

AN EFFICIENT ALGORITHM FOR DERIVING SUMMATION IDENTITIES FROM MUTUAL RECURRENCES ⋮ Stirling expansions into negative powers of a triangular number ⋮ A generated approximation related to Burnside's formula ⋮ An explicit formula for \(| FM(1+1+n)|\) ⋮ Telescoping in the context of symbolic summation in Maple ⋮ A family of Windschitl type approximations for gamma function ⋮ Solving parameterized linear difference equations in terms of indefinite nested sums and products ⋮ Deconstructing the Zeilberger algorithm^† ⋮ Asymptotic formulas forg-gonal sequence factorials ⋮ Asymptotic formulas for sequence factorial of arithmetic progression ⋮ Hypergeometric series with gamma product formula ⋮ Some open problems related to creative telescoping ⋮ An algorithmic approach to the \(q\)-summability problem of bivariate rational functions ⋮ New continued fraction expansions and inequalities for \(n!\) into negative powers of a triangular number ⋮ Pattern avoidance in ordered set partitions and words ⋮ Reduction of the 2D Toda hierarchy and linear Hodge integrals ⋮ On the structure of solutions to the key Gosper equation in problems of symbolic summation ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ On some divisibility properties of binomial sums ⋮ Representation of hypergeometric products of higher nesting depths in difference rings ⋮ Rational solutions to the first order difference equations in the bivariate difference field ⋮ Unnamed Item ⋮ Aligator: A Mathematica Package for Invariant Generation (System Description) ⋮ Variations on a hypergeometric theme ⋮ Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms ⋮ On the Gosper-Petkovšek representation of rational functions ⋮ Computer Algebra, Power Series and Summation ⋮ Fast computation of special resultants ⋮ Ore polynomial rings in one variable in computer algebra. ⋮ Computerized proof techniques for undergraduates ⋮ Summation algorithms for Stirling number identities ⋮ ASYMPTOTIC EVALUATION OF BOSONIC PROBABILITY AMPLITUDES IN LINEAR UNITARY NETWORKS IN THE CASE OF LARGE NUMBER OF BOSONS ⋮ A new Sigma approach to multi-summation ⋮ Detecting Nonexistence of Rational Solutions of Linear Difference Equations in Early Stages of Computation ⋮ Structural theorems for symbolic summation ⋮ Integration of solutions of linear functional equations ⋮ Towards computerized proofs of identities ⋮ Sharp inequalities related to Gosper's formula ⋮ SIMPLIFYING SUMS IN ΠΣ*-EXTENSIONS ⋮ A fast algorithm for proving terminating hypergeometric identities. (Reprint) ⋮ Rational Functions Certify Combinatorial Identities ⋮ Integral Representation and Algorithms for Closed Form Summation ⋮ Indefinite summation with unspecified summands ⋮ Enumeration of rhombus tilings of a hexagon which contain a fixed rhombus in the centre ⋮ A telescoping method for double summations ⋮ Recurrence-Driven Summations in Automated Deduction ⋮ On the rational summation problem ⋮ Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations ⋮ Quasi-\(L^{p}\) norm orthogonal Galerkin expansions in sums of Jacobi polynomials ⋮ Resultant-Free Computation of Indefinite Hyperexponential Integrals ⋮ Marko Petkovšek 1955--2023 ⋮ Hypergeometric-type sequences ⋮ Reasoning Algebraically About P-Solvable Loops ⋮ Approximation and inequalities for the factorial function related to the Burnside's formula ⋮ Creative telescoping for hypergeometric double sums ⋮ Solving linear difference equations with coefficients in rings with idempotent representations ⋮ Separability problems in creative telescoping ⋮ Constraints for twist-two alien operators in QCD ⋮ Evaluation of Binomial Double Sums Involving Absolute Values ⋮ Rational solutions of first-order algebraic ordinary difference equations ⋮ Fully Packed Loop Models on Finite Geometries ⋮ Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I ⋮ Simplifying Multiple Sums in Difference Fields ⋮ Loops, matchings and alternating-sign matrices ⋮ Asymptotic approximations for non-integer order derivatives of monomials ⋮ Monotonicity, convexity, and complete monotonicity of two functions related to the gamma function ⋮ A short proof of Burnside's formula for the gamma function ⋮ Accelerating Dougall’s $_5F_4$-sum and infinite series involving $\pi $ ⋮ Contiguous Relations and Creative Telescoping ⋮ Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation ⋮ Gosper summability of rational multiples of hypergeometric terms ⋮ The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals ⋮ A more accurate approximation for the gamma function ⋮ An accurate approximation formula for gamma function ⋮ Windschitl type approximation formulas for the gamma function ⋮ On some congruences of certain binomial sums ⋮ Self-organization of knowledge economies ⋮ Formal proofs of hypergeometric sums. Dedicated to the memory of Andrzej Trybulec ⋮ Riordan arrays and combinatorial sums ⋮ \(k\)-free recurrences of double hypergeometric terms ⋮ A generalization of Gosper's algorithm ⋮ Some new asymptotic approximations of the gamma function based on Nemes' formula, Ramanujan's formula and Burnside's formula ⋮ On the bottom summation ⋮ Binomial identities -- combinatorial and algorithmic aspects ⋮ Construction and implementation of asymptotic expansions for Jacobi-type orthogonal polynomials ⋮ On polynomials counting essentially irreducible maps ⋮ Computer algebra: Past and future ⋮ Padé approximations to the logarithm II: Identities, recurrences, and symbolic computation ⋮ Indirect detection of cosmological constant from interacting open quantum system ⋮ \textit{Theorema}: Towards computer-aided mathematical theory exploration ⋮ Padé approximations to the logarithm. III: Alternative methods and additional results ⋮ Unified treatment of several asymptotic formulas for the gamma function ⋮ On the divisibility properties concerning sums of binomial coefficients ⋮ Pfaffian decomposition and a Pfaffian analogue of \(q\)-Catalan Hankel determinants ⋮ A Riccati differential equation and free subgroup numbers for lifts of \(\mathrm{PSL}_2(\mathbb Z)\) modulo prime powers ⋮ A kind of new continued fraction approximation of gamma function based on Mortici's formula ⋮ A new asymptotic expansion and some inequalities for the gamma function ⋮ On the summability of bivariate rational functions ⋮ Monotonicity and inequalities for the gamma function ⋮ A new Stirling series as continued fraction

This page was built for publication: Decision procedure for indefinite hypergeometric summation