Boulier, F.; Lazard, D.; Ollivier, F.; Petitot, M. Representation for the radical of a finitely generated differential ideal. (English) Zbl 0911.13011 Levelt, A. H. M. (ed.), Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC ’95, Montreal, Canada, July 10–12, 1995. New York, NY: ACM Press. 158-166 (1995). Cited in 3 ReviewsCited in 82 Documents MSC: 13N05 Modules of differentials 68W10 Parallel algorithms in computer science 13P99 Computational aspects and applications of commutative rings 13A10 Radical theory on commutative rings (MSC2000) Keywords:radical; finitely generated differential ideal; algorithm for testing membership PDFBibTeX XMLCite \textit{F. Boulier} et al., in: Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC '95, Montreal, Canada, July 10--12, 1995. New York, NY: ACM Press. 158--166 (1995; Zbl 0911.13011)