 |
|
|
|
| HAL : hal-00139061, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Computing representations for radicals of finitely generated differential ideals |
|
|
| François Boulier 1, 2Daniel Lazard 3 |
|
|
| (1999) |
|
|
|
| This paper deals with systems of polynomial differential equations, ordinary or with partial derivatives. The embedding theory is the differential algebra of Ritt and Kolchin. We describe an algorithm, named Rosenfeld-Gröbner, which computes a representation for the radical P of the differential ideal generated by any such system S. The computed representation constitutes a normal simplifier for the equivalence relation modulo P (it permits to test membership in P). It permits also to compute Taylor expansions of solutions of S. The algorithm is implemented within a package in MAPLE V. |
|
|
|
|
|
|
|
|
|
|
|
| 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 – elimination – Rosenfeld-Gröbner – diffalg – MAPLE |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00139061, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00139061 | |
| oai:hal.archives-ouvertes.fr:hal-00139061 | |
| Contributeur : François Boulier | |
| Soumis le : Jeudi 29 Mars 2007, 10:21:06 | |
| Dernière modification le : Vendredi 22 Janvier 2010, 14:20:02 | |
