Existence problem of telescopers: beyond the bivariate case

DOI10.1145/2930889.2930895MaRDI QIDQ2985824zbMATH OpenOpenAlexFDO

Authors Shaoshi Chen, Qing-Hu Hou, Rong-Hua Wang, G. Labahn

Publication date 10 May 2017

Published in Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

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

zbMATH Keywords

rational functionreductionsummabilitytelescoper

Mathematics Subject Classification ID

Real rational functions (26C15) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Abstract: In this paper, we solve the existence problem of telescopers for rational functions in three discrete variables. We reduce the problem to that of deciding the summability of bivariate rational functions, which has been solved recently. The existence criteria we present is needed for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.

Recommendations

• Existence problem of telescopers for rational functions in three variables. The mixed cases
• On the existence of telescopers for rational functions in three variables
• Constructing minimal telescopers for rational functions in three discrete variables
• On the existence of telescopers for mixed hypergeometric terms
• Efficient rational creative telescoping

Cited in

(14)

• Constructing minimal telescopers for rational functions in three discrete variables
• On the existence of telescopers for rational functions in three variables
• Some open problems related to creative telescoping
• An algorithmic approach to the q-summability problem of bivariate rational functions
• Residues and telescopers for bivariate rational functions
• Unsolved problems in observational astronomy. II. Focus on rapid response – mining the sky with “thinking” telescopes
• On the existence of telescopers for mixed hypergeometric terms
• Existence problem of telescopers for rational functions in three variables. The mixed cases
• Polynomial reduction for holonomic sequences and applications in -series and congruences
• Telescopers for differential forms with one parameter
• How to generate all possible rational Wilf-Zeilberger forms?
• Symbolic summation of multivariate rational functions
• Non-minimality of minimal telescopers explained by residues
• Complete reduction for derivatives in a primitive tower

This page was built for publication: Existence problem of telescopers: beyond the bivariate case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985824)