A new zero-test for formal power series
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]

Abstract

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