On the existence of telescopers for mixed hypergeometric terms
From MaRDI portal
(Redirected from Publication:480640)
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.
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
- scientific article; zbMATH DE number 3511549 (Why is no real title available?)
- scientific article; zbMATH DE number 1254266 (Why is no real title available?)
- scientific article; zbMATH DE number 718142 (Why is no real title available?)
- scientific article; zbMATH DE number 1131976 (Why is no real title available?)
- scientific article; zbMATH DE number 2151211 (Why is no real title available?)
- A criterion for the applicability of Zeilberger's algorithm to rational functions
- A fast algorithm for proving terminating hypergeometric identities
- A holonomic systems approach to special functions identities
- A non-holonomic systems approach to special function identities
- A recursive method for determining the one-dimensional submodules of Laurent-Ore modules
- An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
- An approach to the zero recognition problem by Buchberger algorithm
- Applicability of the \(q\)-analogue of Zeilberger's algorithm
- Decision procedure for indefinite hypergeometric summation
- Descent for differential Galois theory of difference equations: confluence and q-dependence
- Differential Galois theory of linear difference equations
- Differential rational normal forms and a reduction algorithm for hyperexponential func
- Hermite reduction and creative telescoping for hyperexponential functions
- Minimal decomposition of indefinite hypergeometric sums
- Non-commutative elimination in Ore algebras proves multivariate identities
- On the \(q\)-analogue of Zeilberger's algorithm to rational functions
- On the holonomic systems of linear differential equations. II
- On the structure of compatible rational functions
- On the structure of multivariate hypergeometric terms.
- Parameterized telescoping proves algebraic independence of sums
- Picard--Vessiot extensions for linear functional systems
- Rational function certification of multisum/integral/“𝑞” identities
- Rational normal forms and minimal decompositions of hypergeometric terms
- Residues and telescopers for bivariate rational functions
- Telescopers for rational and algebraic functions via residues
- The Risch Differential Equation Problem
- The diagonal of a D-finite power series is D-finite
- The method of creative telescoping
- The method of differentiating under the integral sign
- Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note
- When does Zeilberger's algorithm succeed?
Cited in
(15)- Creative telescoping for holonomic functions
- Proof of the Wilf-Zeilberger conjecture for mixed hypergeometric terms
- How to generate all possible rational Wilf-Zeilberger pairs?
- The research and progress of the enumeration of lattice paths
- Polynomial reduction for holonomic sequences and applications in -series and congruences
- 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
- Existence problem of telescopers: beyond the bivariate case
- Existence problem of telescopers for rational functions in three variables. The mixed cases
- Refined telescoping algorithms in RΠΣ -extensions to reduce the degrees of the denominators✱
- On the existence of telescopers for rational functions in three variables
- Telescopers for differential forms with one parameter
- Representation of hypergeometric products in difference rings
- Some open problems related to creative telescoping
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)
