 |
|
|
|
| HAL : hal-00139738, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| MEGA 2000, Bath : United Kingdom (2000) |
|
|
|
|
| Efficient computation of regular differential systems by change of rankings using Kähler differentials |
|
|
| François Boulier 1 |
|
|
| (2000) |
|
|
|
| We present two algorithms to compute a regular differential system for some ranking, given an equivalent regular differential system for another ranking. Both make use of Kähler differentials. One of them is a lifting for differential algebra of the FGLM algorithm and relies on normal forms computations of differential polynomials and of Kähler differentials modulo differential relations. Both are implemented in MAPLE V. A straightforward adaptation of FGLM for systems of linear PDE is presented too. Examples are treated. |
|
|
|
|
|
|
|
|
|
|
|
| 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 |
|
|
| differential algebra – Kähler differentials – FGLM – Euler equations for perfect fluids. |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00139738, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00139738 | |
| oai:hal.archives-ouvertes.fr:hal-00139738 | |
| Contributeur : François Boulier | |
| Soumis le : Mardi 3 Avril 2007, 14:12:00 | |
| Dernière modification le : Mardi 3 Avril 2007, 14:14:08 | |
