Algorithmic Arithmetics with DD-finite functions.

par Antonio Jimenez Pastor (RISC, JKU Linz)

jeudi 29 nov. 2018, 10:30 → 11:30 Europe/Paris

Salle XR203 (Bâtiment XLIM)

D-finite functions (or holonomic) are functions that satisfy a linear
differential equation with polynomial coefficients. They form a class
of computable functions and many algorithms to compute with them are
known.

In this talk an extension of some of those algorithms to a wider set of
functions, called DD-finite functions, is presented. These functions
satisfy linear differential equation with D-finite coefficients and we
will see that enlarge the class D-finite functions adding more
complicated examples.

The focus of this talk will be the implementation of those algorithms
and the tools used for performing those computations.