Une alternative aux methodes de reecriture pour la resolution des systemes algebriques

par GREGOIRE LECERF

Thèse de doctorat en Sciences et techniques communes

Sous la direction de MARC GIUSTI.

Soutenue en 2001

à Palaiseau, Ecole polytechnique .

    mots clés mots clés


  • Résumé

    Introduite par h. Hironaka au milieu des annees 1960, la notion de base standard d'un ideal dans un anneau de polynomes connait depuis les travaux de b. Buchberger un engouement particulier en mathematiques et informatique. La construction effective d'une telle base est desormais une fonctionnalite essentielle dans tous les logiciels de calcul formel. Les algorithmes sous-jacents sont sans cesse ameliores et permettent de traiter des problemes concrets inaccessibles aux methodes numeriques. Et pourtant la complexite de ces algorithmes est doublement exponentielle dans le pire des cas. Dans les annees 1990, m. Giusti et j. Heintz montrent que les problemes d'elimination peuvent etre ramenes dans une classe polynomiale en representant les polynomes eliminant par des calculs d'evaluation. Sur la base de leurs travaux, ma these aboutit a un algorithme probabiliste de calcul de la decomposition en composantes equidimensionnelles de l'ensemble des solutions d'un systeme d'equations et d'inequations polynomiales. Sa complexite est polynomiale en un degre intrinseque, de nature geometrique. Implante dans le systeme de calcul formel magma et appele kronecker en hommage a l'illustre mathematicien pour ses travaux sur l'elimination, notre paquetage affiche des performances qui sont a la hauteur des meilleurs implantations dans le langage c de calcul de bases standard.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 216 p.
  • Annexes : 243 ref.

Où se trouve cette thèse ?

  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.