Computing with D-algebraic power series


I shall present several algorithms for computing with D-algebraic power series. Such power series are specified by one or more algebraic differential equations and a sufficient number of initial conditions. The emphasis is on the ability to decide whether expressions involving D-algebraic power series are zero.

Occasion: Groupe de travail « transcendence et combinatoire », IHP, Paris, April 8, 2022

Documents: slideshow, TeXmacs source

Note: this talk was followed by a talk by Gleb Pogudin on our joint ISSAC 2021 paper on computations with power series solutions of difference equations. The slides for Gleb's talk are available here.