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.
