Decision procedure for indefinite hypergeometric summation
From MaRDI portal
Publication:4164353
DOI10.1073/pnas.75.1.40zbMath0384.40001OpenAlexW2153531485WikidataQ33953258 ScholiaQ33953258MaRDI QIDQ4164353
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
Convergence and divergence of series and sequences (40A05) Approximation to limiting values (summation of series, etc.) (40A25)
Related Items
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, (--1)-enumeration of plane partitions with complementation symmetry, A new fast asymptotic series for the gamma function, On Ramanujan's large argument formula for the gamma function, Sharp inequalities and asymptotic expansions for the gamma function, The extended Zeilberger algorithm with parameters, Trading order for degree in creative telescoping, A continued fraction approximation of the gamma function, Inequalities and asymptotic expansions for the gamma function related to Mortici's formula, Some new quicker continued fraction approximations for the gamma function related to the Nemes' formula, A symbolic summation approach to Feynman integral calculus, A non-automatic (!) application of Gosper's algorithm evaluates a determinant from tiling enumeration, Computer proofs of a new family of harmonic number identities., The calculation of average distance in mesh structures., A fast algorithm for proving terminating hypergeometric identities, Sister Celine's technique and its generalizations, Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences, Minimal representations and algebraic relations for single nested products, The lower bound of the PCM quantization error in high dimensions, Improved universal denominators, On the divisibility properties of certain binomial sums, A refined difference field theory for symbolic summation, Parameterized telescoping proves algebraic independence of sums, The method of creative telescoping, On the existence of telescopers for mixed hypergeometric terms, Finding more divisibility properties of binomial sums via the WZ method, Monotonicity properties, inequalities and asymptotic expansions associated with the gamma function, Multibasic and mixed hypergeometric Gosper-type algorithms, On the existence of telescopers for rational functions in three variables, A difference ring theory for symbolic summation, Two asymptotic expansions for gamma function developed by Windschitl's formula, Asymptotic formulas for gamma function with applications, On the asymptotic expansions of the gamma function related to the Nemes, Gosper and Burnside formulas, New asymptotic formulas and inequalities for the gamma function based on continued fractions, On a congruence conjecture of Swisher, Converging to Gosper's algorithm, Rational solutions of ordinary difference equations, A new approximation of the gamma function by expanding the Windschitl's formula, Sharp Smith's bounds for the gamma function, Padé approximant related to asymptotics for the gamma function, Efficient approximations of the gamma function and further properties, Hypergeometric solutions of linear recurrences with polynomial coefficients, On the length of integers in telescopers for proper hypergeometric terms, Accelerating indefinite summation: simple classes of summands, Inequalities and asymptotic expansions for the gamma function, A new sharp approximation for the gamma function related to Burnside's formula, An algorithm for deciding the summability of bivariate rational functions, Log-convexity and log-concavity for series in gamma ratios and applications, A generated approximation related to Gosper's formula and Ramanujan's formula, Rational normal forms and minimal decompositions of hypergeometric terms, A substantial improvement of the Stirling formula, Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem, Logarithmic concavity of series in gamma ratios, Valuations of rational solutions of linear difference equations at irreducible polynomials, Sums of powers of Catalan triangle numbers, Best estimates of the generalized Stirling formula, Remarks on asymptotic expansions for the gamma function, Asymptotic expansions for the gamma function, A general asymptotic formula of the gamma function based on the Burnside's formula, Telescoping method, summation formulas, and inversion pairs, The method of differentiating under the integral sign, The \(q\)-WZ method for infinite series, Some summation rules related to the Riordan arrays, Special issue: Differential algebra and differential equations, Finite singularities and hypergeometric solutions of linear recurrence equations, \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\), MACSYMA from F to G, Formal solutions of differential equations, On Zeilberger's algorithm and its \(q\)-analogue, Enumeration of Lozenge tilings of hexagons with cut-off corners, On the structure of multivariate hypergeometric terms., An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities, Say no to case analysis: automating the drudgery of case-based proofs, 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, On the rational summation problem, Quasi-\(L^{p}\) norm orthogonal Galerkin expansions in sums of Jacobi polynomials, Resultant-Free Computation of Indefinite Hyperexponential Integrals, Reasoning Algebraically About P-Solvable Loops, 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
