Order-Degree Curves for Hypergeometric Creative Telescoping

Shaoshi Chen,Manuel Kauers
DOI: https://doi.org/10.48550/arXiv.1201.1982
2012-01-10
Abstract:Creative telescoping applied to a bivariate proper hypergeometric term produces linear recurrence operators with polynomial coefficients, called telescopers. We provide bounds for the degrees of the polynomials appearing in these operators. Our bounds are expressed as curves in the (r,d)-plane which assign to every order r a bound on the degree d of the telescopers. These curves are hyperbolas, which reflect the phenomenon that higher order telescopers tend to have lower degree, and vice versa.
Symbolic Computation
What problem does this paper attempt to address?