Étude et implantation de quelques algorithmes en algèbre différentielle

Résumé : 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.
Type de document :
Thèse
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français


https://tel.archives-ouvertes.fr/tel-00137866
Contributeur : François Boulier <>
Soumis le : jeudi 22 mars 2007 - 12:15:07
Dernière modification le : mardi 22 mars 2016 - 01:14:17
Document(s) archivé(s) le : mardi 6 avril 2010 - 21:54:42

Fichier

Identifiants

  • HAL Id : tel-00137866, version 1

Collections

Citation

François Boulier. Étude et implantation de quelques algorithmes en algèbre différentielle. Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 1994. Français. <tel-00137866>

Exporter

Partager

Métriques

Consultations de
la notice

484

Téléchargements du document

180