Algorithmic Arithmetics with DD-finite functions Computations and Implementation

Description

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.

Period	29 Nov 2018
Event title	Invited colloquium talk at XLIM (Université de Limoges)
Event type	Other
Location	FranceShow on map