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

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