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)- Efficient rational creative telescoping
- Residues and telescopers for bivariate rational functions
- On the structure of multivariate hypergeometric terms.
- Effective scalar products of D-finite symmetric functions
- Convergent expansions and bounds for the incomplete elliptic integral of the second kind near the logarithmic singularity
- \(q\)-rational reduction and \(q\)-analogues of series for \(\pi\)
- Creative telescoping for holonomic functions
- scientific article; zbMATH DE number 4005607 (Why is no real title available?)
- Identities in search of identity
- A short WZ-proof of Euler's fundamental sum identity and more
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- Hypergeometric expressions for generating functions of walks with small steps in the quarter plane
- Term algebras, canonical representations and difference ring theory for symbolic summation
- (--1)-enumeration of plane partitions with complementation symmetry
- Some new binomial sums related to the Catalan triangle
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
- Combinatorial telescoping for an identity of Andrews on parity in partitions
- On the wrapping correction to single magnon energy in twisted \({\mathcal N}=4\) SYM
- Walsh functions, scrambled \(( 0 , m , s )\)-nets, and negative covariance: applying symbolic computation to quasi-Monte Carlo integration
- A direct algorithm to construct the minimal \(Z\)-pairs for rational functions.
- Egorychev method: a hidden treasure
- Towards counting paths in lattice path models with filter restrictions and long steps
- The dimensional recurrence and analyticity method for multicomponent master integrals: using unitarity cuts to construct homogeneous solutions
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- Structural theorems for symbolic summation
- On some combinatorial sequences associated to invariant theory
- Enumerating five families of pattern-avoiding inversion sequences; and introducing the powered Catalan numbers
- Hankel determinants for convolution powers of Catalan numbers
- The extended Zeilberger algorithm with parameters
- Trading order for degree in creative telescoping
- Identities for families of orthogonal polynomials and special functions
- Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I
- Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order
- On homogeneous Zeilberger recurrences
- Hypergeometric identities arising from the elephant random walk
- Reducing radicals in the spirit of Euclid
- Pascal-like determinants are recursive
- Inequalities associated with the Baxter numbers
- Recurrence relation associated with the sums of square binomial coefficients
- Renormalization of non-singlet quark operator matrix elements for off-forward hard scattering
- Rademacher-type formulas for restricted partition and overpartition functions
- Resultant-free computation of indefinite hyperexponential integrals
- Binomial determinants for tiling problems yield to the holonomic ansatz
- Rogers-Ramanujan computer searches
- Some D-finite and some possibly D-finite sequences in the OEIS
- New Representations for all Sporadic Apéry-Like Sequences, With Applications to Congruences
- A \(q\)-analogue of Zhang's binomial coefficient identities
- A holonomic systems approach to special functions identities
- No-neighbours recurrence schemes for space-time Green's functions on a 3D simple cubic lattice
- The Capelli identity, the double commutant theorem, and multiplicity-free actions
- Computing periods of rational integrals
- Extended Zeilberger's algorithm for identities on Bernoulli and Euler polynomials
- Hyperasymptotics and hyperterminants: exceptional cases
- Integral Representation and Algorithms for Closed Form Summation
- Computing the complexity for Schelling segregation models
- The product of the eigenvalues of a symmetric tensor
- On the computation of the parameterized differential Galois group for a second-order linear differential equation with differential parameters
- A combinatorial-probabilistic analysis of bitcoin attacks
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Inner bounds for the extreme zeros of \(_3F_2\) hypergeometric polynomials
- Computation of the expected Euler characteristic for the largest eigenvalue of a real non-central Wishart matrix
- Rational function certification of multisum/integral/“𝑞” identities
- A symbolic computation approach to a problem involving multivariate Poisson distributions
- Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences
- Exploring general Apéry limits via the Zudilin–Straub t-transform
- A classification of Motzkin numbers modulo 8
- Fully packed loop models on finite geometries
- The role of derivations in the nilpotence and semisimplicity of Lie triple systems
- A three-term recurrence relation for accurate evaluation of transition probabilities of the simple birth-and-death process
- An approach to the zero recognition problem by Buchberger algorithm
- Standard Young tableaux in a \(( 2 , 1 )\)-hook and Motzkin paths
- A refined difference field theory for symbolic summation
- On the length of integers in telescopers for proper hypergeometric terms
- Two-loop massive operator matrix elements for unpolarized heavy flavor production to O()
- A refined enumeration of hex trees and related polynomials
- A fast approach to creative telescoping
- The death of proof? Semi-rigorous mathematics? You've got to be kidding!
- Towards computerized proofs of identities
- Multibasic and mixed hypergeometric Gosper-type algorithms
- Series evaluation of a quartic integral
- Formal residue and computer-assisted proofs of combinatorial identities
- Loops, matchings and alternating-sign matrices
- An algorithm for deciding the summability of bivariate rational functions
- Determinant evaluations inspired by Di Francesco's determinant for twenty-vertex configurations
- On Horadam-Lucas sequence
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- Asymptotics of the L^2 norm of derivatives of OPUC
- Enumeration of bilaterally symmetric 3-noncrossing partitions
- Power-partible reduction and congruences for Schröder polynomials
- A formal proof of the irrationality of \(\zeta(3)\)
- An operator inequality and self-adjointness.
- Trusting computations: a mechanized proof from partial differential equations to actual program
- Gaussian hypergeometric series and supercongruences
- Reduction formula of a double binomial sum
- A telescoping method for double summations
- The method of differentiating under the integral sign
- Enumerations of humps and peaks in \((k, a)\)-paths and \((n, m)\)-Dyck paths via bijective proofs
- Karhunen-Loève expansions for the \(m\)-th order detrended Brownian motion
- An algorithmic approach to the \(q\)-summability problem of bivariate rational 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)
