Constructing minimal telescopers for rational functions in three discrete variables
Symbolic Computation
2022-07-08 v3 Combinatorics
Rings and Algebras
Abstract
We present a new algorithm for constructing minimal telescopers for rational functions in three discrete variables. This is the first discrete reduction-based algorithm that goes beyond the bivariate case. The termination of the algorithm is guaranteed by a known existence criterion of telescopers. Our approach has the important feature that it avoids the potentially costly computation of certificates. Computational experiments are also provided so as to illustrate the efficiency of our approach.
Keywords
Cite
@article{arxiv.1904.11614,
title = {Constructing minimal telescopers for rational functions in three discrete variables},
author = {Shaoshi Chen and Qing-Hu Hou and Hui Huang and George Labahn and Rong-Hua Wang},
journal= {arXiv preprint arXiv:1904.11614},
year = {2022}
}