Representation for the radical of a finitely generated differential ideal
Boulier, François ; Lazard, Daniel ; Ollivier, François ; Petitot, Michel
HAL, hal-00138020 / Harvested from HAL
Text on HAL
We 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.
Publié le : 1995-07-05
Classification:  differential algebra,  Rosenfeld,  Rosenfeld-Gröbner,  computer algebra,  [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP],  [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC],  [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] 
@article{hal-00138020,
     author = {Boulier, Fran\c cois and Lazard, Daniel and Ollivier, Fran\c cois and Petitot, Michel},
     title = {Representation for the radical of a finitely generated differential ideal},
     journal = {HAL},
     volume = {1995},
     number = {0},
     year = {1995},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00138020}
}

Boulier, François; Lazard, Daniel; Ollivier, François; Petitot, Michel. Representation for the radical of a finitely generated differential ideal. HAL, Tome 1995 (1995) no. 0, . http://gdmltest.u-ga.fr/item/hal-00138020/