Joris van der Hoeven: 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.