Existence Problem of Telescopers: Beyond the Bivariate Case
Symbolic Computation
2016-01-14 v1 Combinatorics
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.
Cite
@article{arxiv.1601.03080,
title = {Existence Problem of Telescopers: Beyond the Bivariate Case},
author = {Shaoshi Chen and Qing-Hu Hou and George Labahn and Rong-Hua Wang},
journal= {arXiv preprint arXiv:1601.03080},
year = {2016}
}
Comments
19 pages