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: DART XII conference, Kassel, April 11, 2024

Documents: slideshow, TeXmacs source