I shall present several algorithms for computing with differentially 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 differentially algebraic power series are zero.

Occasion: Séminaire général de logique, Paris, March 17, 2025

Documents: slideshow, TeXmacs source