 |
|
|
|
| HAL : hal-00139177, version 1 |
| DOI : 10.1145/345542.345571 |
| Fiche détaillée |  Récupérer au format |
|
|
| International Symposium on Symbolic and Algebraic Computation, France (2000) |
|
|
|
|
| Computing Canonical Representatives of Regular Differential Ideals |
|
|
| François Boulier 1, 2François Lemaire 1, 2 |
|
|
| (2000) |
|
|
|
| In this paper, we give three theoretical and practical contributions for solving polynomial ODE or PDE systems. The first one is practical: an algorithm which improves the purely algebraic part of Rosenfeld-Gröbner. It is a variant of lextriangular but does not need any Gröbner basis computation. The second one is theoretical: a characterization of the output of Rosenfeld-Gröbner and a clarification of the relationship between algebraic and differential characteristic sets. The third one is theoretical as well as practical: an algorithm to compute canonical representatives of differential polynomials modulo regular differential ideals without any use of Gröbner bases. |
|
|
|
|
|
|
|
|
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Algèbre commutative Mathématiques/Equations aux dérivées partielles Informatique/Calcul formel |
|
|
| differential algebra – Rosenfeld-Gröbner – canonical representative – normal form – characteristic set |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00139177, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00139177 | |
| oai:hal.archives-ouvertes.fr:hal-00139177 | |
| Contributeur : François Boulier | |
| Soumis le : Vendredi 30 Mars 2007, 13:17:01 | |
| Dernière modification le : Vendredi 22 Janvier 2010, 14:11:51 | |
