@article{BoulierLazardOllivierPetitot:AAECC:2009,
    Abstract = {This paper deals with systems of polynomial differential equations, ordinary or with partial derivatives. The embedding theory is the differential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld--Gr{\"o}bner, which computes a representation for the radical {\$}{\$}{\{}{$\backslash$}mathfrak p{\}}{\$}{\$}of the differential ideal generated by any such system Σ. The computed representation constitutes a normal simplifier for the equivalence relation modulo {\$}{\$}{\{}{$\backslash$}mathfrak p{\}}{\$}{\$}(it permits to test membership in {\$}{\$}{\{}{$\backslash$}mathfrak p{\}}{\$}{\$}). It permits also to compute Taylor expansions of solutions of Σ. The algorithm is implemented within a package (the package (diffalg) is available in MAPLE standard library since MAPLE VR5) in MAPLE.},
    Author = {Boulier, Fran{\c c}ois and Lazard, Daniel and Ollivier, Fran{\c c}ois and Petitot, Michel},
    File = {Computing representations for radicals of finitely generated differential ideals - boulier2009 - a - c.pdf},
    ISBN = {1432-0622},
    Journal = {Applicable Algebra in Engineering, Communication and Computing},
    Number = {1},
    Pages = {73},
    Title = {Computing representations for radicals of finitely generated differential ideals},
    URL = {https://doi.org/10.1007/s00200-009-0091-7},
    Volume = {20},
    Year = {2009},
    Keywords = {reading},
    bdsk-url-1 = {https://doi.org/10.1007/s00200-009-0091-7},
    da = {2009/03/07},
    date-added = {2020-04-13 11:12:04 +0200},
    date-modified = {2020-04-13 11:12:04 +0200},
    id = {Boulier2009},
    ty = {JOUR},
    doi = {10.1007/s00200-009-0091-7}
}

@article{BoulierLazardOllivierPetitot:AAECC:2009, Abstract = {This paper deals with systems of polynomial differential equations, ordinary or with partial derivatives. The embedding theory is the differential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld--Gr{\"o}bner, which computes a representation for the radical {\$}{\$}{{}{$\backslash$}mathfrak p{}}{\$}{\$}of the differential ideal generated by any such system Σ. The computed representation constitutes a normal simplifier for the equivalence relation modulo {\$}{\$}{{}{$\backslash$}mathfrak p{}}{\$}{\$}(it permits to test membership in {\$}{\$}{{}{$\backslash$}mathfrak p{}}{\$}{\$}). It permits also to compute Taylor expansions of solutions of Σ. The algorithm is implemented within a package (the package (diffalg) is available in MAPLE standard library since MAPLE VR5) in MAPLE.}, Author = {Boulier, Fran{\c c}ois and Lazard, Daniel and Ollivier, Fran{\c c}ois and Petitot, Michel}, File = {Computing representations for radicals of finitely generated differential ideals - boulier2009 - a - c.pdf}, ISBN = {1432-0622}, Journal = {Applicable Algebra in Engineering, Communication and Computing}, Number = {1}, Pages = {73}, Title = {Computing representations for radicals of finitely generated differential ideals}, URL = {https://doi.org/10.1007/s00200-009-0091-7}, Volume = {20}, Year = {2009}, Keywords = {reading}, bdsk-url-1 = {https://doi.org/10.1007/s00200-009-0091-7}, da = {2009/03/07}, date-added = {2020-04-13 11:12:04 +0200}, date-modified = {2020-04-13 11:12:04 +0200}, id = {Boulier2009}, ty = {JOUR}, doi = {10.1007/s00200-009-0091-7} }