The method of creative telescoping
From MaRDI portal
Publication:1176785
DOI10.1016/S0747-7171(08)80044-2zbMath0738.33002MaRDI QIDQ1176785
Publication date: 25 June 1992
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
33C20: Generalized hypergeometric series, ({}_pF_q)
Related Items
Identities for families of orthogonal polynomials and special functions, Unnamed Item, COMPUTER PROOFS OF MATRIX PRODUCT IDENTITIES, Deconstructing the Zeilberger algorithm†, Towards computerized proofs of identities, Central polynomials and matrix invariants, Identities in search of identity, Pascal-like determinants are recursive, The method of differentiating under the integral sign, Formal solutions of differential equations, The Capelli identity, the double commutant theorem, and multiplicity-free actions, A purely verification proof of the first Rogers-Ramanujan identity, Improved universal denominators, A refined difference field theory for symbolic summation, Converging to Gosper's algorithm, A holonomic systems approach to special functions identities, Hypergeometric solutions of linear recurrences with polynomial coefficients, An approach to the zero recognition problem by Buchberger algorithm, The number of centered lozenge tilings of a symmetric hexagon, On Zeilberger's algorithm and its \(q\)-analogue, The death of proof? Semi-rigorous mathematics? You've got to be kidding!, Binomial identities -- combinatorial and algorithmic aspects, Enumeration of noncrossing trees on a circle, (--1)-enumeration of plane partitions with complementation symmetry, A direct algorithm to construct the minimal \(Z\)-pairs for rational functions., When does Zeilberger's algorithm succeed?, An operator inequality and self-adjointness., 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, On the structure of multivariate hypergeometric terms., Multibasic and mixed hypergeometric Gosper-type algorithms, 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, On homogeneous Zeilberger recurrences, A telescoping method for double summations, 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, \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, Rational Functions Certify Combinatorial Identities, Rational function certification of multisum/integral/“𝑞” identities
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- How likely is Polya's drunkard to stay in \(x\geq y\geq z\)?
- The method of differentiating under the integral sign
- A fast algorithm for proving terminating hypergeometric identities
- A purely verification proof of the first Rogers-Ramanujan identity
- Resurrecting the asymptotics of linear recurrences
- A holonomic systems approach to special functions identities
- Axioms and hulls
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- Rational Functions Certify Combinatorial Identities
- Algorithmic Information Theory
- Some Hypergeometric Orthogonal Polynomials
- Strange Evaluations of Hypergeometric Series
- Decision procedure for indefinite hypergeometric summation
- Towards computerized proofs of identities