 |
|
|
|
| HAL : hal-00138020, version 2 |
| DOI : 10.1145/220346.220367 |
| Fiche détaillée |  Récupérer au format |
|
|
| international symposium on Symbolic and algebraic computation 1995, France (1995) |
|
|
| Versions disponibles : | v1 (23-03-2007) | v2 (30-03-2007) |
|
|
|
|
| Representation for the radical of a finitely generated differential ideal |
|
|
| François Boulier 1, 2Daniel Lazard 3 |
|
|
| (07/1995) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Fondamentale de Lille (LIFL) |
|
|
|
CNRS : UMR8022 – INRIA – IRCICA – Université Lille 1 - Sciences et Technologies |
|
|
| 2 : | CALFOR (LIFL) |
|
|
|
Université Lille 1 - Sciences et Technologies – CNRS : UMR8022 |
|
|
| 3 : | Laboratoire d'Informatique de Paris 6 (LIP6) |
|
|
|
CNRS : UMR7606 – Université Paris VI - Pierre et Marie Curie |
|
|
| 4 : | Groupe Aleph et Géode (GAGE) |
|
|
|
Polytechnique - X |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Equations aux dérivées partielles Mathématiques/Algèbre commutative Informatique/Calcul formel |
|
|
| differential algebra – Rosenfeld – Rosenfeld-Gröbner – computer algebra |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00138020, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00138020 | |
| oai:hal.archives-ouvertes.fr:hal-00138020 | |
| Contributeur : François Boulier | |
| Soumis le : Vendredi 30 Mars 2007, 13:29:05 | |
| Dernière modification le : Vendredi 22 Janvier 2010, 14:20:56 | |
