Algorithmic Arithmetics with DD-finite functions Computations and Implementation
Sprache des Vortragstitels:
Invited colloquium talk at XLIM (Université de Limoges)
Sprache des Tagungstitel:
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.