International audienceWe give an algorithm which represents the radical J of a finitely generated differential ideal as an intersection of radical differential ideals. The computed representation provides an algorithm for testing membership in J. This algorithm works over either an ordinary or a partial differential polynomial ring of characteristic zero. It has been programmed. We also give a method to obtain a obtain a characteristic set of J, if the ideal is prime

International audienceThis paper deals with systems of polynomial di erential equations, ordinary or with partial derivatives. The embedding theory is the di erential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld-Gröbner, which computes a representation for the radical p of the diff erential ideal generated by any such sys- tem . The computed representation constitutes a normal simpli er for the equivalence relation modulo p (it permits to test embership in p). It permits also to compute Taylor expansions of solutions of . The algorithm is implemented within a package in MAPLE

No abstract

No abstract

No abstract