Test de nullité pour des séries définies en termes de solutions à des é.d.p.s
[ Homepage | Publications | Talks | TeXmacs | Mathemagix ]

Abstract

Consider an effective differential ring of computable power series in for some field and assume that we have an effective zero-test for elements in . Consider a system of algebraic partial differential equations with . If is the unique solution to this system of equations with suitable initial conditions, then we obtain a new effective differential ring of computable power series when adjoining to . Under a mild additional hypothesis, we will describe a zero-test for elements in .

Occasions: ANR Gecko meeting, Sophia Antibes, November 20, 2007

Documents: slideshow, TeXmacs source