The method of creative telescoping

DOI10.1016/S0747-7171(08)80044-2zbMath0738.33002OpenAlexW2094965692MaRDI QIDQ1176785

Publication date: 25 June 1992

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0747-7171(08)80044-2

zbMATH Keywords

hypergeometric series recurrence relations summation of series

Mathematics Subject Classification ID

Generalized hypergeometric series, ({}_pF_q) (33C20)

Related Items

Exploring general Apéry limits via the Zudilin–Straub t-transform, Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations, New proofs of two $q$-analogues of Koshy’s formula, On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters, \texttt{RRtools} -- a Maple package for aiding the discovery and proof of finite Rogers-Ramanujan type identities, Telescoping in the context of symbolic summation in Maple, Current trends in asymptotics: Some problems and some solutions, COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES, Deconstructing the Zeilberger algorithm^†, An algorithmic approach to the $q$-summability problem of bivariate rational functions, Rational function certification of multisum/integral/“𝑞” identities, Constructing reductions for creative telescoping. The general differentially finite case, Unnamed Item, The card guessing game: a generating function approach, Three Symmetric Double Series by Telescoping, New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences, Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱, Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats, Representation of hypergeometric products of higher nesting depths in difference rings, Convergent expansions and bounds for the incomplete elliptic integral of the second kind near the logarithmic singularity, Egorychev method: a hidden treasure, Towards counting paths in lattice path models with filter restrictions and long steps, Inequalities associated with the Baxter numbers, The factorial-basis method for finding definite-sum solutions of linear recurrences with polynomial coefficients, Polynomial reduction for holonomic sequences and applications in $\pi$-series and congruences, Telescopers for differential forms with one parameter, Minimization of differential equations and algebraic values of 𝐸-functions, Effective Algebraic Analysis Approach to Linear Systems over Ore Algebras, No-neighbours recurrence schemes for space-time Green’s functions on a 3D simple cubic lattice, On the optimal systems of subalgebras for the equations of hydrodynamic stability analysis of smooth shear flows and their group-invariant solutions, Unnamed Item, Unnamed Item, Identities for families of orthogonal polynomials and special functions, A combinatorial-probabilistic analysis of bitcoin attacks, How does the Gerrymander Sequence Continue?, Applicability of the $q$-analogue of Zeilberger's algorithm, Sharp upper bounds for the orders of the recurrences output by the Zeilberger and $q$-Zeilberger algorithms, Reduction formula of a double binomial sum, An elimination lemma for algebras with PBW bases, Congruences and telescopings of P-recursive sequences, On homogeneous Zeilberger recurrences, Formal residue and computer-assisted proofs of combinatorial identities, Detecting Nonexistence of Rational Solutions of Linear Difference Equations in Early Stages of Computation, Towards computerized proofs of identities, Rational Functions Certify Combinatorial Identities, Integral Representation and Algorithms for Closed Form Summation, Gaussian Hypergeometric series and supercongruences, A telescoping method for double summations, Computing periods of rational integrals, Resultant-Free Computation of Indefinite Hyperexponential Integrals, A refined enumeration of hex trees and related polynomials, Unnamed Item, A Sequence of Polynomials Generated by a Kapteyn Series of the Second Kind, ON THE WRAPPING CORRECTION TO SINGLE MAGNON ENERGY IN TWISTED ${\mathcal N}=4$ SYM, Fully Packed Loop Models on Finite Geometries, Recurrence relation associated with the sums of square binomial coefficients, Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order, Creative Telescoping for Holonomic Functions, Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I, Simplifying Multiple Sums in Difference Fields, On the order of the recurrence produced by the method of creative telescoping, Loops, matchings and alternating-sign matrices, Effective scalar products of D-finite symmetric functions, Advanced determinant calculus: a complement, Holonomic Anti-Differentiation and Feynman Amplitudes, Contiguous Relations and Creative Telescoping, Term Algebras, Canonical Representations and Difference Ring Theory for Symbolic Summation, Representation of hypergeometric products in difference rings, Inner bounds for the extreme zeros of ₃F₂ hypergeometric polynomials, On a class of hypergeometric diagonals, The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals, Efficient rational creative telescoping, Feynman integrals and mirror symmetry, The death of proof? Semi-rigorous mathematics? You've got to be kidding!, Binomial identities -- combinatorial and algorithmic aspects, On some combinatorial sequences associated to invariant theory, Signed enumeration of upper-right corners in path shuffles, Proof of a conjecture of Z.-W. Sun on ratio monotonicity, Multiple binomial sums, Trusting computations: a mechanized proof from partial differential equations to actual program, Constructing minimal telescopers for rational functions in three discrete variables, Some open problems related to creative telescoping, Irreducibility of $q$-difference operators and the knot $7_{4}$, Enumeration of noncrossing trees on a circle, Reduction-based creative telescoping for Fuchsian D-finite functions, Rademacher-type formulas for restricted partition and overpartition functions, Convolutions of Liouvillian sequences, Subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$, Jacobi polynomials and complexity, Some new binomial sums related to the Catalan triangle, Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers, (--1)-enumeration of plane partitions with complementation symmetry, A direct algorithm to construct the minimal $Z$-pairs for rational functions., Combinatorial telescoping for an identity of Andrews on parity in partitions, The extended Zeilberger algorithm with parameters, Trading order for degree in creative telescoping, Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix, Series evaluation of a quartic integral, Harmonic interpolation based on Radon projections along the sides of regular polygons, A diagrammatic approach to the AJ conjecture, When does Zeilberger's algorithm succeed?, The method of combinatorial telescoping, Residues and telescopers for bivariate rational functions, A purely verification proof of the first Rogers-Ramanujan identity, An operator inequality and self-adjointness., Summation theory. II: Characterizations of $R {\Pi}{\Sigma}^{\ast}$-extensions and algorithmic aspects, Minors of a class of Riordan arrays related to weighted partial Motzkin paths, Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences, Minimal representations and algebraic relations for single nested products, Improved universal denominators, A holonomic systems approach to special functions identities, A refined difference field theory for symbolic summation, Parameterized telescoping proves algebraic independence of sums, Karhunen-Loève expansions for the $m$-th order detrended Brownian motion, On the existence of telescopers for mixed hypergeometric terms, Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms, Multibasic and mixed hypergeometric Gosper-type algorithms, Reducing radicals in the spirit of Euclid, On the existence of telescopers for rational functions in three variables, A difference ring theory for symbolic summation, Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering, On the positivity of the Gillis-Reznick-Zeilberger rational function, Binomial determinants for tiling problems yield to the holonomic ansatz, Central polynomials and matrix invariants, Converging to Gosper's algorithm, On a ratio monotonicity conjecture of a new kind of numbers, A classification of Motzkin numbers modulo 8, Hypergeometric solutions of linear recurrences with polynomial coefficients, An approach to the zero recognition problem by Buchberger algorithm, Identities in search of identity, Walsh functions, scrambled $( 0 , m , s )$-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration, On the length of integers in telescopers for proper hypergeometric terms, A symbolic computation approach to a problem involving multivariate Poisson distributions, A short WZ-proof of Euler's fundamental sum identity and more, The Gauss-Bonnet theorem and Crofton-type formulas in complex space forms, An algorithm for deciding the summability of bivariate rational functions, Asymptotics of the $L^2$ norm of derivatives of OPUC, Polynomial ring automorphisms, rational $(w,\sigma )$-canonical forms, and the assignment problem, Pascal-like determinants are recursive, Structural theorems for symbolic summation, Two-loop massive operator matrix elements for unpolarized heavy flavor production to $O(\epsilon)$, Computing the complexity for Schelling segregation models, A three-term recurrence relation for accurate evaluation of transition probabilities of the simple birth-and-death process, On rational and hypergeometric solutions of linear ordinary difference equations in $\Pi\Sigma^\ast$-field extensions, The product of the eigenvalues of a symmetric tensor, Standard Young tableaux in a $( 2 , 1 )$-hook and Motzkin paths, Hypergeometric expressions for generating functions of walks with small steps in the quarter plane, The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions, Telescoping method, summation formulas, and inversion pairs, Creative telescoping on multiple sums, The method of differentiating under the integral sign, Rogers-Ramanujan computer searches, Enumeration of bilaterally symmetric 3-noncrossing partitions, Simultaneous bifurcation of limit cycles and critical periods, Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials, Hankel determinants for convolution powers of Catalan numbers, A definite summation of hypergeometric terms of special kind, Counting humps in Motzkin paths, The absent-minded passengers problem: a motivating challenge solved by computer algebra, The number of centered lozenge tilings of a symmetric hexagon, Hypergeometric identities arising from the elephant random walk, A $q$-analogue of Zhang's binomial coefficient identities, Linear differential equations as a data structure, The number of rhombus tilings of a symmetric hexagon which contain a fixed rhombus on the symmetry axis. II, Elimination of variables in linear solvable polynomial algebras and $\delta$-holonomicity, A case study for $\zeta (4)$, $q$-rational reduction and $q$-analogues of series for $\pi$, Formal solutions of differential equations, On Zeilberger's algorithm and its $q$-analogue, The Capelli identity, the double commutant theorem, and multiplicity-free actions, On the structure of multivariate hypergeometric terms., Enumerations of humps and peaks in $(k, a)$-paths and $(n, m)$-Dyck paths via bijective proofs

Uses Software

DEtools

Cites Work