 |
|
|
|
| HAL : hal-00140006, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
|
|
| Triangularisation de systèmes de polynômes différentiels |
|
|
| François Boulier 1 |
|
|
| (2000) |
|
|
|
| L'algèbre différentielle est une généralisation de l'algèbre commutative destinée à l'étude des systèmes d'équations différentielles ordinaires ou aux dérivées partielles. Dans ce chapitre, nous présentons un algorithme de « résolution » de systèmes d'équations différentielles polynomiales, nommé Rosenfeld-Gröbner. Il est implanté dans le paquetage diffalg de MAPLE V. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'Informatique Fondamentale de Lille (LIFL) |
|
|
|
CNRS : UMR8022 – INRIA – IRCICA – Université Lille 1 - Sciences et Technologies |
|
|
|
|
|
|
|
|
|
| Domaine | : | Mathématiques/Algèbre commutative Mathématiques/Equations aux dérivées partielles Informatique/Calcul formel |
|
|
| algèbre différentielle – Rosenfeld-Gröbner – diffalg – forme normale – ensemble caractéristique |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00140006, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00140006 | |
| oai:hal.archives-ouvertes.fr:hal-00140006 | |
| Contributeur : François Boulier | |
| Soumis le : Mercredi 4 Avril 2007, 14:43:19 | |
| Dernière modification le : Mercredi 4 Avril 2007, 14:46:05 | |
