Creative telescoping for holonomic functions
From MaRDI portal
Abstract: The aim of this article is twofold: on the one hand it is intended to serve as a gentle introduction to the topic of creative telescoping, from a practical point of view; for this purpose its application to several problems is exemplified. On the other hand, this chapter has the flavour of a survey article: the developments in this area during the last two decades are sketched and a selection of references is compiled in order to highlight the impact of creative telescoping in numerous contexts.
Recommendations
Cites work
- \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
- A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
- A computer proof of a polynomial identity implying a partition theorem of Göllnitz
- A computer proof of a series evaluation in terms of harmonic numbers
- A concise formula for generalized two-qubit Hilbert-Schmidt separability probabilities
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- A fast algorithm for proving terminating hypergeometric identities
- A fast approach to creative telescoping
- A holonomic systems approach to special functions identities
- A Macsyma implementation of Zeilberger's fast algorithm
- A non-holonomic systems approach to special function identities
- A pretty binomial identity
- A proof that Euler missed. Apéry's proof of the irrationality of (3). An informal report
- A telescoping method for double summations
- A two-line algorithm for proving \(q\)-hypergeometric identities
- A two-line algorithm for proving terminating hypergeometric identities
- Advanced applications of the holonomic systems approach. (Abstract of thesis)
- Advanced computer algebra for determinants
- Algorithms for m-fold hypergeometric summation
- Algorithms for \(q\)-hypergeometric summation in computer algebra
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An Apéry-like difference equation for Catalan's constant
- An extension of Zeilberger's fast algorithm to general holonomic functions
- Apéry's theorem. Thirty years after
- Automated proofs for some Stirling number identities
- Binomial identities -- combinatorial and algorithmic aspects
- Complexity of creative telescoping for bivariate rational functions
- Computer algebra meets finite elements: an efficient implementation for Maxwell's equations
- Creative telescoping for rational functions using the Griffiths-Dwork method
- Descendants in heap ordered trees or a triumph of computer algebra
- Differential equations for algebraic functions
- Eliminating human insight: An algorithmic proof of Stembridge's TSPP theorem
- Explicit formula for the generating series of diagonal 3D rook paths
- Generators of some Ramanujan formulas
- Hermite reduction and creative telescoping for hyperexponential functions
- scientific article; zbMATH DE number 434742 (Why is no real title available?)
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 1023404 (Why is no real title available?)
- scientific article; zbMATH DE number 1131976 (Why is no real title available?)
- scientific article; zbMATH DE number 1163416 (Why is no real title available?)
- scientific article; zbMATH DE number 2063248 (Why is no real title available?)
- scientific article; zbMATH DE number 803209 (Why is no real title available?)
- scientific article; zbMATH DE number 866549 (Why is no real title available?)
- scientific article; zbMATH DE number 872231 (Why is no real title available?)
- Hypergeometric series acceleration via the WZ method
- Hypergeometric summation algorithms for high-order finite elements
- Identities of nonterminating series by Zeilberger's algorithm
- Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
- Ising n-fold integrals as diagonals of rational functions and integrality of series expansions
- Lattice Green functions of the higher-dimensional face-centered cubic lattices
- Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
- MultInt, a MAPLE package for multiple integration by the WZ method
- Non-commutative elimination in Ore algebras proves multivariate identities
- Non-commutative Gröbner bases in algebras of solvable type
- On the existence of telescopers for mixed hypergeometric terms
- On Zeilberger's algorithm and its \(q\)-analogue
- Order-degree curves for hypergeometric creative telescoping
- Plane partitions. VI: Stembridge's TSPP theorem
- Proof of George Andrews's and David Robbins's q-TSPP conjecture
- Proving hypergeometric identities by numerical verifications
- Recurrence and Pólya number of general one-dimensional random walks
- REDUCE package for the indefinite and definite summation
- Relativistic Coulomb integrals and Zeilberger's holonomic systems approach. I
- Representations of orthogonal polynomials
- Residues and telescopers for bivariate rational functions
- Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
- Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
- Simplifying multiple sums in difference fields
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials
- Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
- Summation algorithms for Stirling number identities
- Table of integrals, series, and products. Translated from the Russian. Translation edited and with a preface by Alan Jeffrey and Daniel Zwillinger. With one CD-ROM (Windows, Macintosh and UNIX)
- Telescopers for rational and algebraic functions via residues
- The analytic continuation of generalized functions with respect to a parameter
- The colored Jones function is \(q\)-holonomic
- The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
- The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
- The holonomic toolkit
- The integrals in Gradshteyn and Ryzhik. XVIII: Some automatic proofs
- THE ITERATED INTEGRALS OF ln(1 + xn)
- The method of creative telescoping
- The method of differentiating under the integral sign
- The non-commutative A-polynomial of twist knots
- Theory of non-commutative polynomials
- Third order integrability conditions for homogeneous potentials of degree -1
- Trading order for degree in creative telescoping
- When does Zeilberger's algorithm succeed?
- WZ-style certification and sister celine's technique for abel-type sums
- Zeilberger's holonomic ansatz for Pfaffians
Cited in
(40)- The method of creative telescoping
- Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions
- Creative telescoping on multiple sums
- A case study for \(\zeta (4)\)
- Martin boundary of killed random walks on isoradial graphs
- Stieltjes moment sequences for pattern-avoiding permutations
- Minimal representations and algebraic relations for single nested products
- Binomial determinants for tiling problems yield to the holonomic ansatz
- On the length of integers in telescopers for proper hypergeometric terms
- Linear differential equations as a data structure
- Some open problems related to creative telescoping
- Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences
- Analytical evaluation of \(\mathrm{AdS}_4\) Witten diagrams as flat space multi-loop Feynman integrals
- Multiple binomial sums
- A difference ring theory for symbolic summation
- Properties of powers of functions satisfying second-order linear differential equations with applications to statistics
- Holonomic anti-differentiation and Feynman amplitudes
- Contiguous relations and creative telescoping
- Term algebras, canonical representations and difference ring theory for symbolic summation
- On a class of hypergeometric diagonals
- Comments on Risch's \textit{On the integration of elementary functions which are built up using algebraic operations}
- How does the Gerrymander Sequence Continue?
- Congruences and telescopings of P-recursive sequences
- The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Collisionless shock region of the KdV equation and an entry in Gradshteyn and Ryzhik
- Representation of hypergeometric products of higher nesting depths in difference rings
- Some D-finite and some possibly D-finite sequences in the OEIS
- Telescopers for differential forms with one parameter
- Hypergeometric-type sequences
- Computer algebra in the service of enumerative combinatorics
- Lazy Hermite reduction and creative telescoping for algebraic functions
- Notes on certain binomial harmonic sums of Sun's type
- On the diagonals of rational functions: the minimal number of variables
- A shape lemma for ideals of differential operators
- D-finiteness: a success story
- The asymptotic Mahler measure of Gaussian periods
- BootLoops: an LLM-driven toolkit for exact quantitative science
This page was built for publication: Creative telescoping for holonomic functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5244921)
