Laboratoire d'informatique de l'École polytechnique

Talk by Antonio Jiménez-Pastor: « DD-finite functions: a computable extension for holonomic functions »

Speaker: Antonio Jiménez-Pastor
Location: Room Emmy Noether, Alan Turing Building
Date: Tue, 28 Sep 2021, 11:00-12:00

The next meeting of the Max seminar will be on Tuesday, September 28. Antonio Jiménez-Pastor will talk about DD-finite functions: a computable extension for holonomic functions.

Abstract: D-finite or holonomic functions are solutions to linear differential equations with polynomial coefficients. It is this property that allow us to exactly represent these functions on the computer. in this talk we present a natural extension of this class of functions: the DD-finite functions. These functions are the solutions of linear differential equations with D-finite coefficients. We will see the properties these functions have and how we can algorithmically compute with them.