Creative Telescoping for Holonomic Functions

DOI10.1007/978-3-7091-1616-6_7zbMath1308.81102arXiv1307.4554OpenAlexW186562849MaRDI QIDQ5244921

Christoph Koutschan

Publication date: 1 April 2015

Published in: Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.4554

Mathematics Subject Classification ID

Issues of holonomy in differential geometry (53C29) Differential geometric methods, including holonomy, Berry and Hannay phases, Aharonov-Bohm effect, etc. in quantum theory (81Q70)

Related Items (max. 100)

Linear algebra for computing Gröbner bases of linear recursive multidimensional sequences ⋮ Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations ⋮ Martin boundary of killed random walks on isoradial graphs ⋮ Master Lovas-Andai and equivalent formulas verifying the \(\frac{8}{33}\) two-qubit Hilbert-Schmidt separability probability and companion rational-valued conjectures ⋮ Multiple binomial sums ⋮ Analytical evaluation of \(\mathrm{AdS}_4\) Witten diagrams as flat space 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 ⋮ Telescopers for differential forms with one parameter ⋮ Stieltjes moment sequences for pattern-avoiding permutations ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ Unnamed Item ⋮ Minimal representations and algebraic relations for single nested products ⋮ How does the Gerrymander Sequence Continue? ⋮ A difference ring theory for symbolic summation ⋮ Properties of powers of functions satisfying second-order linear differential equations with applications to statistics ⋮ Binomial determinants for tiling problems yield to the holonomic ansatz ⋮ Congruences and telescopings of P-recursive sequences ⋮ On the length of integers in telescopers for proper hypergeometric terms ⋮ On rational and hypergeometric solutions of linear ordinary difference equations in \(\Pi\Sigma^\ast\)-field extensions ⋮ Linear differential equations as a data structure ⋮ A case study for \(\zeta (4)\) ⋮ 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 ⋮ The SAGEX review on scattering amplitudes Chapter 4: Multi-loop Feynman integrals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Advanced computer algebra for determinants
• Irreducibility of \(q\)-difference operators and the knot \(7_{4}\)
• Sparsity optimized high order finite element functions for \(H(\mathrm{curl})\) on tetrahedra
• Trading order for degree in creative telescoping
• A pretty binomial identity
• Residues and telescopers for bivariate rational functions
• On the existence of telescopers for mixed hypergeometric terms
• A fast approach to creative telescoping
• The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates
• Explicit formula for the generating series of diagonal 3D rook paths
• A computer proof of a polynomial identity implying a partition theorem of Göllnitz
• Non-commutative Gröbner bases in algebras of solvable type
• The method of differentiating under the integral sign
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Generators of some Ramanujan formulas
• Hypergeometric summation algorithms for high-order finite elements
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• A fast algorithm for proving terminating hypergeometric identities
• Proving hypergeometric identities by numerical verifications
• Automated proofs for some Stirling number identities
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Non-commutative elimination in Ore algebras proves multivariate identities
• Identities of nonterminating series by Zeilberger's algorithm
• On Zeilberger's algorithm and its \(q\)-analogue
• Some questions concerning computer-generated proofs of a binomial double- sum identity
• Binomial identities -- combinatorial and algorithmic aspects
• Short and easy computer proofs of the Rogers-Ramanujan identities and of identities of similar type
• A two-line algorithm for proving \(q\)-hypergeometric identities
• Hypergeometric series acceleration via the WZ method
• Descendants in heap ordered trees or a triumph of computer algebra
• Representations of orthogonal polynomials
• \texttt{qMultiSum} -- a package for proving \(q\)-hypergeometric multiple summation identities
• When does Zeilberger's algorithm succeed?
• A Macsyma implementation of Zeilberger's fast algorithm
• Theory of non-commutative polynomials
• The analytic continuation of generalized functions with respect to a parameter
• A computer proof of a series evaluation in terms of harmonic numbers
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• MultInt, a MAPLE package for multiple integration by the WZ method
• An Apéry-like difference equation for Catalan's constant
• Algorithms for \(m\)-fold hypergeometric summation
• A two-line algorithm for proving terminating hypergeometric identities
• A \textit{Mathematica} version of Zeilberger's algorithm for proving binomial coefficient identities
• Algorithms for \(q\)-hypergeometric summation in computer algebra
• An extension of Zeilberger's fast algorithm to general holonomic functions
• The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations
• The colored Jones function is \(q\)-holonomic
• Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms
• Sparse shape functions for tetrahedral \(p\)-FEM using integrated Jacobi polynomials
• Summation algorithms for Stirling number identities
• Plane partitions. VI: Stembridge's TSPP theorem
• A telescoping method for double summations
• A concise formula for generalized two-qubit Hilbert–Schmidt separability probabilities
• Third order integrability conditions for homogeneous potentials of degree −1
• A non-holonomic systems approach to special function identities
• Computer Algebra Meets Finite Elements: An Efficient Implementation for Maxwell’s Equations
• Recurrence and Pólya Number of General One-Dimensional Random Walks
• Complexity of creative telescoping for bivariate rational functions
• Hermite reduction and creative telescoping for hyperexponential functions
• Creative telescoping for rational functions using the griffiths
• Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem
• THE NON-COMMUTATIVE A-POLYNOMIAL OF TWIST KNOTS
• THE ITERATED INTEGRALS OF ln(1 + xⁿ)
• REDUCE package for the indefinite and definite summation
• WZ-style certification and sister celine's technique for abel-type sums
• Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
• Lattice Green functions of the higher-dimensional face-centered cubic lattices
• Isingn-fold integrals as diagonals of rational functions and integrality of series expansions
• Advanced applications of the holonomic systems approach
• Order-degree curves for hypergeometric creative telescoping
• Telescopers for rational and algebraic functions via residues
• Zeilberger's holonomic ansatz for Pfaffians
• The Holonomic Toolkit
• Relativistic Coulomb Integrals and Zeilberger’s Holonomic Systems Approach. I
• Simplifying Multiple Sums in Difference Fields

This page was built for publication: Creative Telescoping for Holonomic Functions