On the existence of telescopers for rational functions in three variables

DOI10.1016/j.jsc.2020.08.006zbMath1465.05185arXiv1901.09377OpenAlexW3081385954MaRDI QIDQ2229731

Chaochao Zhu, Shaoshi Chen, Lixin Du, Rong-Hua Wang

Publication date: 18 February 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1901.09377

zbMATH Keywords

reductionexistence criterioncreative telescopingtelescoper

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symmetric functions and generalizations (05E05) Differential algebra (12H05) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (1)

Constructing minimal telescopers for rational functions in three discrete variables

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the summability of bivariate rational functions
• Residues and telescopers for bivariate rational functions
• On the existence of telescopers for mixed hypergeometric terms
• Parameterized telescoping proves algebraic independence of sums
• An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities
• Differential Galois theory of linear difference equations
• A holonomic systems approach to special functions identities
• The method of creative telescoping
• Non-commutative elimination in Ore algebras proves multivariate identities
• An introduction to pseudo-linear algebra
• Testing shift-equivalence of polynomials by deterministic, probabilistic and quantum machines.
• When does Zeilberger's algorithm succeed?
• Bivariate extensions of Abramov's algorithm for rational summation
• The Ore-Sato theorem and shift exponents in the \(q\)-difference case
• A criterion for the applicability of Zeilberger's algorithm to rational functions
• Symbolic integration I: Transcendental functions
• On rational solutions of systems of linear differential equations
• An algorithm for deciding the summability of bivariate rational functions
• Some open problems related to creative telescoping
• Applicability of the \(q\)-analogue of Zeilberger's algorithm
• Ore polynomial rings in one variable in computer algebra.
• Computing periods of rational integrals
• A non-holonomic systems approach to special function identities
• Complexity of creative telescoping for bivariate rational functions
• Partial denominator bounds for partial linear difference equations
• Creative telescoping for rational functions using the griffiths
• Existence Problem of Telescopers
• Reduction-Based Creative Telescoping for Algebraic Functions
• How to Generate All Possible Rational Wilf-Zeilberger Pairs?
• Parallel telescoping and parameterized Picard-Vessiot theory
• Decision procedure for indefinite hypergeometric summation
• Differential rational normal forms and a reduction algorithm for hyperexponential func
• Existence Problem of Telescopers for Rational Functions in Three Variables
• Testing Equivalence of Polynomials under Shifts
• Telescopers for rational and algebraic functions via residues
• Galois theory
• On the \(q\)-analogue of Zeilberger's algorithm to rational functions

This page was built for publication: On the existence of telescopers for rational functions in three variables