@inproceedings{Peladan-Germa:AAECC:1995,
    Abstract = {In order to be able to manipulate solutions of systems of differential equations, one usually constructs differential extensions of differential rings, but the effectivity of the equality test in the extension is not trivial. In the ordinary differential case, the problem has been solved (see [13] and [3]). We propose here a method in the case of extensions obtained by adjunction of formal power series defined as solutions of a system of non linear PDE's associated with a finite set of initial conditions.},
    Address = {Berlin, Heidelberg},
    Author = {P{\'e}ladan-Germa, Ariane},
    BookTitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes},
    Editor = {Cohen, G{\'e}rard and Giusti, Marc and Mora, Teo},
    File = {Testing identities of series defined by algebraic partial differential equations - a.pdf},
    Keywords = {reading},
    ISBN = {978-3-540-49440-9},
    Pages = {393--407},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Testing identities of series defined by algebraic partial differential equations},
    Year = {1995},
    date-added = {2023-02-03 07:29:08 +0100},
    date-modified = {2023-02-03 07:29:08 +0100},
    doi = {10.1007/3-540-60114-7_30}
}

@inproceedings{Peladan-Germa:AAECC:1995, Abstract = {In order to be able to manipulate solutions of systems of differential equations, one usually constructs differential extensions of differential rings, but the effectivity of the equality test in the extension is not trivial. In the ordinary differential case, the problem has been solved (see [13] and [3]). We propose here a method in the case of extensions obtained by adjunction of formal power series defined as solutions of a system of non linear PDE's associated with a finite set of initial conditions.}, Address = {Berlin, Heidelberg}, Author = {P{\'e}ladan-Germa, Ariane}, BookTitle = {Applied Algebra, Algebraic Algorithms and Error-Correcting Codes}, Editor = {Cohen, G{\'e}rard and Giusti, Marc and Mora, Teo}, File = {Testing identities of series defined by algebraic partial differential equations - a.pdf}, Keywords = {reading}, ISBN = {978-3-540-49440-9}, Pages = {393--407}, Publisher = {Springer Berlin Heidelberg}, Title = {Testing identities of series defined by algebraic partial differential equations}, Year = {1995}, date-added = {2023-02-03 07:29:08 +0100}, date-modified = {2023-02-03 07:29:08 +0100}, doi = {10.1007/3-540-60114-7_30} }