A new zero-test for formal power series


In this talk, we present a new zero-test for expressions which are constructed from formal power solutions to algebraic differential equations using the ring operations and differentiation. We also provide a survey of all existing methods that we know of and a detailed comparison of these methods with our approach.

Occasions: ISSAC 2002, Lille, July 10, 2002

Documents: slideshow, TeXmacs source