A fast approach to creative telescoping
From MaRDI portal
Publication:541971
DOI10.1007/s11786-010-0055-0zbMath1218.68205arXiv1004.3314OpenAlexW2129936432MaRDI QIDQ541971
Publication date: 8 June 2011
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1004.3314
special functionssymbolic integrationholonomic functionscreative telescopingsymbolic summationore algebraWZ theory
Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)
Related Items
From integrals to multi-sum identities ⋮ Asymptotic lattice path enumeration using diagonals ⋮ 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 ⋮ Constructing minimal telescopers for rational functions in three discrete variables ⋮ Some open problems related to creative telescoping ⋮ Iterated binomial sums and their associated iterated integrals ⋮ An algorithmic approach to the \(q\)-summability problem of bivariate rational functions ⋮ Irreducibility of \(q\)-difference operators and the knot \(7_{4}\) ⋮ Fast computation of the \(N\)-th term of a \(q\)-holonomic sequence and applications ⋮ A general method for calculating lattice green functions on the branch cut ⋮ Beating binary powering for polynomial matrices ⋮ Holonomic representation of biadjoint scalar amplitudes ⋮ The generating function of Kreweras walks with interacting boundaries is not algebraic ⋮ Telescoping method and congruences for double sums ⋮ The 𝐴₂ Andrews–Gordon identities and cylindric partitions ⋮ \texttt{MultiHypExp}: a \textsc{Mathematica} package for expanding multivariate hypergeometric functions in terms of multiple polylogarithms ⋮ Trading order for degree in creative telescoping ⋮ \(\epsilon\)-expansion of multivariable hypergeometric functions appearing in Feynman integral calculus ⋮ On the optimal systems of subalgebras for the equations of hydrodynamic stability analysis of smooth shear flows and their group-invariant solutions ⋮ Permutations sortable by two stacks in parallel and quarter plane walks ⋮ Integrable planar homogeneous potentials of degree \(- 1\) with small eigenvalues ⋮ An algorithm for deciding the summability of bivariate rational functions ⋮ The product of the eigenvalues of a symmetric tensor ⋮ Computing periods of rational integrals ⋮ Hypergeometric expressions for generating functions of walks with small steps in the quarter plane ⋮ A Numerical Transcendental Method in Algebraic Geometry: Computation of Picard Groups and Related Invariants ⋮ Calculating massive 3-loop graphs for operator matrix elements by the method of hyperlogarithms ⋮ Computing periods of hypersurfaces ⋮ Creative Telescoping for Holonomic Functions ⋮ Simplifying Multiple Sums in Difference Fields ⋮ Extensions of the AZ-Algorithm and the Package MultiIntegrate ⋮ Holonomic Anti-Differentiation and Feynman Amplitudes ⋮ Third order integrability conditions for homogeneous potentials of degree −1 ⋮ Uniqueness of Clifford torus with prescribed isoperimetric ratio
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- A holonomic systems approach to special functions identities
- Non-commutative elimination in Ore algebras proves multivariate identities
- Some questions concerning computer-generated proofs of a binomial double- sum identity
- On rational solutions of systems of linear differential equations
- An extension of Zeilberger's fast algorithm to general holonomic functions
- A non-holonomic systems approach to special function identities
- Eliminating Human Insight: An Algorithmic Proof of Stembridge's TSPP Theorem
- Proof of George Andrews’s and David Robbins’s q -TSPP conjecture
- Advanced applications of the holonomic systems approach
