Session S24 - Symbolic Computation: Theory, Algorithms and Applications

Tuesday, July 13, 14:30 ~ 14:55 UTC-3

DD-finite functions: working beyond holonomic

Antonio Jiménez-Pastor

Johannes Kepler University Linz, Research Institute for Symbolic Computation, Austria   -   This email address is being protected from spambots. You need JavaScript enabled to view it.

Holnomic (or D-finite) functions are a well known class of formal power series that satisfy a linear differential equation with polynomial coefficients. This representation, with differential equation plus some initial values, requires only a finite amount of data.

In this talk we present the newer class of DD-finite functions, i.e., formal power series that satisfy a linear differential equation with D-finite coefficients. This new class satisfy plenty of the closure properties that also hold for holonomic functions. We show here some of the algebraic properties that have been proven for DD-finite functions and also a Sage package that allow to manipulate these DD-finite functions and allow the user to prove identities automatically.

View abstract PDF