Constructing reductions for creative telescoping


The class of reduction-based algorithms was introduced recently as a new approach towards creative telescoping. Starting with Hermite reduction of rational functions, various reductions have been introduced for increasingly large classes of holonomic functions. In this paper we show how to construct reductions for general holonomic functions, in the purely differential setting.

Keywords: creative telescoping, holonomic function, Hermite reduction, residues

Final version (2019): Html, TeXmacs, Pdf, BibTeX

Preprint version (2017): Html, TeXmacs, Pdf, BibTeX