On the existence of telescopers for mixed hypergeometric terms
From MaRDI portal
Publication:480640
DOI10.1016/J.JSC.2014.08.005zbMATH Open1303.33024arXiv1211.2430OpenAlexW2950330357MaRDI QIDQ480640FDOQ480640
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)
Abstract: We present a criterion for the existence of telescopers for mixed hypergeometric terms, which is based on multiplicative and additive decompositions. The criterion enables us to determine the termination of Zeilberger's algorithms for mixed hypergeometric inputs.
Full work available at URL: https://arxiv.org/abs/1211.2430
Recommendations
- Existence problem of telescopers for rational functions in three variables. The mixed cases
- Existence problem of telescopers: beyond the bivariate case
- On the existence of telescopers for rational functions in three variables
- Efficient algorithms for mixed creative telscoping
- scientific article; zbMATH DE number 2151211
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- A holonomic systems approach to special functions identities
- Decision procedure for indefinite hypergeometric summation
- Hermite reduction and creative telescoping for hyperexponential functions
- On the holonomic systems of linear differential equations. II
- Non-commutative elimination in Ore algebras proves multivariate identities
- The method of differentiating under the integral sign
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- Rational normal forms and minimal decompositions of hypergeometric terms
- The method of creative telescoping
- Parameterized telescoping proves algebraic independence of sums
- A fast algorithm for proving terminating hypergeometric identities
- The diagonal of a D-finite power series is D-finite
- On the structure of multivariate hypergeometric terms.
- Descent for differential Galois theory of difference equations: confluence and \(q\)-dependence
- Differential Galois theory of linear difference equations
- Residues and telescopers for bivariate rational functions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Telescopers for rational and algebraic functions via residues
- A non-holonomic systems approach to special function identities
- A recursive method for determining the one-dimensional submodules of Laurent-Ore modules
- Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
- Picard--Vessiot extensions for linear functional systems
- An approach to the zero recognition problem by Buchberger algorithm
- When does Zeilberger's algorithm succeed?
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- On the \(q\)-analogue of Zeilberger's algorithm to rational functions
- Minimal decomposition of indefinite hypergeometric sums
- The Risch Differential Equation Problem
- Rational function certification of multisum/integral/“𝑞” identities
- Differential rational normal forms and a reduction algorithm for hyperexponential func
- Title not available (Why is that?)
- On the structure of compatible rational functions
Cited In (13)
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
- The research and progress of the enumeration of lattice paths
- Polynomial reduction for holonomic sequences and applications in \(\pi\)-series and congruences
- How to Generate All Possible Rational Wilf-Zeilberger Pairs?
- On the length of integers in telescopers for proper hypergeometric terms
- Summation theory. II: Characterizations of \(R {\Pi}{\Sigma}^{\ast}\)-extensions and algorithmic aspects
- New Bounds for Hypergeometric Creative Telescoping
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- Telescopers for differential forms with one parameter
- On the existence of telescopers for rational functions in three variables
- Creative Telescoping for Holonomic Functions
- Representation of hypergeometric products in difference rings
- Some open problems related to creative telescoping
Uses Software
This page was built for publication: On the existence of telescopers for mixed hypergeometric terms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q480640)
