Le but de cette thèse est de rendre effectifs certains théorèmes et d'implanter efficacement certains algorithmes en algèbre différentielle, en vue d'une application à l'automatique non linéaire. Nous présentons trois résultats originaux. Le premier est un algorithme, Rosenfeld-Gröbner, qui décrit les modèles d'un système d'équations et d'inéquations polynomiales en algèbre différentielle ordinaire comme en algèbre différentielle partielle. L'algorithme décide du vide et donc de l'appartenance au radical d'un idéal différentiel de type fini. Notre deuxième résultat est une méthode qui calcule un ensemble caractéristique d'un idéal différentiel premier donné par une famille génératrice. Nous donnons enfin de nouvelles preuves des algorithmes d'élimination de Seidenberg. Les algorithmes que nous décrivons sont effectifs : ils n'utilisent que l'addition, la multiplication, les dérivations et le test d'égalité à zéro dans le corps de base des polynômes.
Publié le : 1994-06-27
Classification:
differential algebra,
Rosenfeld's lemma,
algèbre différentielle,
élimination,
Rosenfeld-Gröbner,
lemme de Rosenfeld,
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation,
[MATH]Mathematics [math],
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
@article{tel-00137866,
author = {Boulier, Fran\c cois},
title = {Study and implementation of some algorithms in differential algebra},
journal = {HAL},
volume = {1994},
number = {0},
year = {1994},
language = {fr},
url = {http://dml.mathdoc.fr/item/tel-00137866}
}
Boulier, François. Study and implementation of some algorithms in differential algebra. HAL, Tome 1994 (1994) no. 0, . http://gdmltest.u-ga.fr/item/tel-00137866/