Representation for the radical of a finitely generated differential ideal

Abstract : 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.
Type de document :
Communication dans un congrès
international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. Association for Computing Machinery, pp.158-166, 1995, <10.1145/220346.220367>


https://hal.archives-ouvertes.fr/hal-00138020
Contributeur : François Boulier <>
Soumis le : vendredi 30 mars 2007 - 13:29:05
Dernière modification le : mardi 11 octobre 2016 - 14:41:04
Document(s) archivé(s) le : lundi 22 octobre 2012 - 12:05:24

Fichier

blop95.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

Citation

François Boulier, Daniel Lazard, François Ollivier, Michel Petitot. Representation for the radical of a finitely generated differential ideal. international symposium on Symbolic and algebraic computation 1995, Jul 1995, France. Association for Computing Machinery, pp.158-166, 1995, <10.1145/220346.220367>. <hal-00138020v2>

Exporter

Partager

Métriques

Consultations de
la notice

276

Téléchargements du document

157