Université Lille1 - Sciences et Technologies Etude et implantation de quelques algorithmes en algèbre différentielle 510 Algèbre différentielle Text Electronic Thesis or Dissertation fr Le but de cette these est de rendre effectifs certains theoremes et d'implanter efficacement certains algorithmes en algebre differentielle, en vue d'une application a l'automatique non lineaire. Nous presentons trois resultats originaux. Le premier est un algorithme qui decrit les modeles d'un systeme d'equations et d'inequations polynomiales en algebre differentielle ordinaire comme en algebre differentielle partielle. L'algorithme decide du vide et donc de l'appartenance au radical d'un ideal differentiel de type fini. Notre deuxieme resultat est une methode qui calcule un ensemble caracteristique d'un ideal differentiel premier donne par une famille generatrice. Nous donnons enfin de nouvelles preuves des algorithmes d'elimination de seidenberg. Les algorithmes que nous decrivons sont effectifs: ils n'utilisent que l'addition, la multiplication, les derivations et le test d'egalite a zero dans le corps de base des polynomes. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1994/50376-1994-127.pdf Boulier François 1900-01-01 109046978 1994LIL10067 1994-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Jacob Gérard 03068739X ddc:510 ASCII PDF 9999