Computing with differentially algebraic power series
Date
17/03/2025
Horaire
15:45 à 16:45
Diffusion
Résume
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.