Testing Identities of Series Defined by Algebraic Partial Differential Equations

摘要: In order to be able manipulate solutions of systems differential equations, one usually constructs extensions rings, but the effectivity equality test in extension is not trivial. ordinary case, problem has been solved (see [13] and [3]). We propose here a method case obtained by adjunction formal power series defined as system non linear PDE's associated with finite set initial conditions.