Existence Problem of Telescopers for Rational Functions in Three Variables
Shaoshi Chen, Lixin Du, Chaochao Zhu · 2019
We present criteria on the existence of telescopers for trivariate rational functions in four mixed cases, in which discrete and continuous variables appear simultaneously. We reduce the existence problem in the trivariate case to the exactness testing problem, the separation problem and the existence problem in the bivariate case. The existence criteria help us to determine the termination of Zeilberger's algorithm for the input functions studied in this paper.