On the existence of telescopers for mixed hypergeometric terms
From MaRDI portal
Publication:480640
DOI10.1016/j.jsc.2014.08.005zbMath1303.33024arXiv1211.2430OpenAlexW2950330357MaRDI QIDQ480640
Ziming Li, Guofeng Fu, Shaoshi Chen, Ruyong Feng, Frédéric Chyzak
Publication date: 9 December 2014
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1211.2430
Related Items (11)
Some open problems related to creative telescoping ⋮ Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱ ⋮ Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences ⋮ The research and progress of the enumeration of lattice paths ⋮ Telescopers for differential forms with one parameter ⋮ Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects ⋮ How to Generate All Possible Rational Wilf-Zeilberger Pairs? ⋮ Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms ⋮ On the existence of telescopers for rational functions in three variables ⋮ Creative Telescoping for Holonomic Functions ⋮ Representation of hypergeometric products in difference rings
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Descent for differential Galois theory of difference equations: confluence and \(q\)-dependence
- Residues and telescopers for bivariate rational functions
- Parameterized telescoping proves algebraic independence of sums
- Rational normal forms and minimal decompositions of hypergeometric terms
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- A fast algorithm for proving terminating hypergeometric identities
- Differential Galois theory of linear difference equations
- The diagonal of a D-finite power series is D-finite
- A holonomic systems approach to special functions identities
- The method of creative telescoping
- An approach to the zero recognition problem by Buchberger algorithm
- On the holonomic systems of linear differential equations. II
- Non-commutative elimination in Ore algebras proves multivariate identities
- When does Zeilberger's algorithm succeed?
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- On the structure of multivariate hypergeometric terms.
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- A non-holonomic systems approach to special function identities
- Minimal decomposition of indefinite hypergeometric sums
- A recursive method for determining the one-dimensional submodules of Laurent-Ore modules
- Hermite reduction and creative telescoping for hyperexponential functions
- Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
- The Risch Differential Equation Problem
- Rational function certification of multisum/integral/“𝑞” identities
- Decision procedure for indefinite hypergeometric summation
- Differential rational normal forms and a reduction algorithm for hyperexponential func
- Telescopers for rational and algebraic functions via residues
- On the structure of compatible rational functions
- Picard--Vessiot extensions for linear functional systems
- On the \(q\)-analogue of Zeilberger's algorithm to rational functions
This page was built for publication: On the existence of telescopers for mixed hypergeometric terms
