Existence Problem of Telescopers
Shaoshi Chen, Qing-Hu Hou, George Labahn, Rong-Hua Wang · 2016
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, a problem which has recently been solved. This existence criteria is used, for example, for detecting the termination of Zeilberger's algorithm to the function classes studied in this paper.