The method of creative telescoping
From MaRDI portal
Recommendations
- A fast approach to creative telescoping
- A reduction approach to creative telescoping
- The Art of Telescoping
- scientific article; zbMATH DE number 4049641
- Efficient rational creative telescoping
- The method of combinatorial telescoping
- Creative telescoping for holonomic functions
- Some open problems related to creative telescoping
- Creative telescoping on multiple sums
- On the order of the recurrence produced by the method of creative telescoping
Cites work
- scientific article; zbMATH DE number 3780556 (Why is no real title available?)
- scientific article; zbMATH DE number 3786948 (Why is no real title available?)
- scientific article; zbMATH DE number 194009 (Why is no real title available?)
- scientific article; zbMATH DE number 3467565 (Why is no real title available?)
- scientific article; zbMATH DE number 3016223 (Why is no real title available?)
- scientific article; zbMATH DE number 3303654 (Why is no real title available?)
- A fast algorithm for proving terminating hypergeometric identities
- A holonomic systems approach to special functions identities
- A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
- A purely verification proof of the first Rogers-Ramanujan identity
- Algorithmic Information Theory
- Axioms and hulls
- Decision procedure for indefinite hypergeometric summation
- How likely is Polya's drunkard to stay in \(x\geq y\geq z\)?
- Modules over a ring of differential operators. Study of the fundamental solutions of equations with constant coefficients
- Rational Functions Certify Combinatorial Identities
- Resurrecting the asymptotics of linear recurrences
- Some Hypergeometric Orthogonal Polynomials
- Strange Evaluations of Hypergeometric Series
- The method of differentiating under the integral sign
- Towards computerized proofs of identities
Cited in
(only showing first 100 items - show all)- A holonomic systems approach to special functions identities
- On a class of hypergeometric diagonals
- A difference ring theory for symbolic summation
- Series evaluation of a quartic integral
- Two-loop massive operator matrix elements for unpolarized heavy flavor production to \(O(\epsilon)\)
- Integral Representation and Algorithms for Closed Form Summation
- Loops, matchings and alternating-sign matrices
- Gaussian hypergeometric series and supercongruences
- A purely verification proof of the first Rogers-Ramanujan identity
- New proofs of two \(q\)-analogues of Koshy's formula
- The Gauss-Bonnet theorem and Crofton-type formulas in complex space forms
- Parameterized telescoping proves algebraic independence of sums
- scientific article; zbMATH DE number 806502 (Why is no real title available?)
- Formal solutions of differential equations
- The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions
- An algorithm for deciding the summability of bivariate rational functions
- The extended Zeilberger algorithm with parameters
- Trading order for degree in creative telescoping
- Simplifying multiple sums in difference fields
- Some new binomial sums related to the Catalan triangle
- An algorithmic approach to the \(q\)-summability problem of bivariate rational functions
- The card guessing game: a generating function approach
- Combinatorial telescoping for an identity of Andrews on parity in partitions
- Structural theorems for symbolic summation
- Standard Young tableaux in a \(( 2 , 1 )\)-hook and Motzkin paths
- Polynomial ring automorphisms, rational \((w,\sigma )\)-canonical forms, and the assignment problem
- Multiple binomial sums
- Creative telescoping for holonomic functions
- On the structure of multivariate hypergeometric terms.
- The death of proof? Semi-rigorous mathematics? You've got to be kidding!
- Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
- On Zeilberger's algorithm and its \(q\)-analogue
- Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
- A telescoping method for double summations
- A fast approach to creative telescoping
- Asymptotics of the \(L^2\) norm of derivatives of OPUC
- Karhunen-Loève expansions for the \(m\)-th order detrended Brownian motion
- Rogers-Ramanujan computer searches
- Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
- Residues and telescopers for bivariate rational functions
- An approach to the zero recognition problem by Buchberger algorithm
- Identities for families of orthogonal polynomials and special functions
- Hyperasymptotics and hyperterminants: exceptional cases
- Computing periods of rational integrals
- Rational Functions Certify Combinatorial Identities
- Advanced determinant calculus: a complement
- The number of centered lozenge tilings of a symmetric hexagon
- On the wrapping correction to single magnon energy in twisted \({\mathcal N}=4\) SYM
- Binomial identities -- combinatorial and algorithmic aspects
- Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I
- Rademacher-type formulas for restricted partition and overpartition functions
- A refined difference field theory for symbolic summation
- Rational function certification of multisum/integral/“𝑞” identities
- A \(q\)-analogue of Zhang's binomial coefficient identities
- Hypergeometric solutions of linear recurrences with polynomial coefficients
- The method of combinatorial telescoping
- Representation of hypergeometric products in difference rings
- Feynman integrals and mirror symmetry
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Term algebras, canonical representations and difference ring theory for symbolic summation
- Minors of a class of Riordan arrays related to weighted partial Motzkin paths
- Fully packed loop models on finite geometries
- Hankel determinants for convolution powers of Catalan numbers
- Harmonic interpolation based on Radon projections along the sides of regular polygons
- Towards computerized proofs of identities
- Subanalytic solutions of linear difference equations and multidimensional hypergeometric sequences
- A short WZ-proof of Euler's fundamental sum identity and more
- Signed enumeration of upper-right corners in path shuffles
- Proof of a conjecture of Z.-W. Sun on ratio monotonicity
- On Horadam-Lucas sequence
- The method of differentiating under the integral sign
- Enumeration of noncrossing trees on a circle
- Linear recurrence relations for sums of products of two terms
- On the existence of telescopers for mixed hypergeometric terms
- The Capelli identity, the double commutant theorem, and multiplicity-free actions
- When does Zeilberger's algorithm succeed?
- Telescoping in the context of symbolic summation in Maple
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- Telescoping method, summation formulas, and inversion pairs
- Computer algebra in the service of enumerative combinatorics
- Lazy Hermite reduction and creative telescoping for algebraic functions
- Solving linear difference equations with coefficients in rings with idempotent representations
- Separability problems in creative telescoping
- Holonomic anti-differentiation and Feynman amplitudes
- Constructing minimal telescopers for rational functions in three discrete variables
- Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
- Improved universal denominators
- Constraints for twist-two alien operators in QCD
- A case study for \(\zeta (4)\)
- Inequalities associated with the Baxter numbers
- Enumerations of humps and peaks in \((k, a)\)-paths and \((n, m)\)-Dyck paths via bijective proofs
- No-neighbours recurrence schemes for space-time Green's functions on a 3D simple cubic lattice
- A classification of Motzkin numbers modulo 8
- Exploring general Apéry limits via the Zudilin–Straub t-transform
- (--1)-enumeration of plane partitions with complementation symmetry
- Representation of hypergeometric products of higher nesting depths in difference rings
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
- A diagrammatic approach to the AJ conjecture
- Reduction-based creative telescoping for Fuchsian D-finite functions
This page was built for publication: The method of creative telescoping
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1176785)
