Open Collections

Reduction-Based Creative Telescoping for D-Finite Functions

Banff International Research Station for Mathematical Innovation and Discovery

Creative telescoping is a powerful technique to tackle summation and integration problems symbolically, but it can be computationally very costly. Many existing algorithms compute two objects, called telescoper and certificate, but in many applications only the first one is of interest, while typically the second one is larger in size. In the past few years a new direction of research was initiated, namely to develop creative telescoping algorithms that are based on Hermite-type reductions, which avoid the computation of the certificate and therefore can be more efficient in practice. In our 2016 ISSAC paper, we have developed an algorithm for constructing minimal-order telescopers for algebraic functions, based on Trager's reduction and on a so-called polynomial reduction. Later we have extended this algorithm to fuchsian D-finite functions. This is joint work with Shaoshi Chen, Mark van Hoeij, and Manuel Kauers.

Mathematics; Combinatorics; Sequences, series, summability; Discrete mathematics

video/mp4

Author affiliation: Austrian Academy of Sciences

2018-03-31

Attribution-NonCommercial-NoDerivatives 4.0 International

http://hdl.handle.net/2429/65040

Unreviewed

http://creativecommons.org/licenses/by-nc-nd/4.0/