Ensembles triangulaires de polynomes et resolution de systemes algebriques. Implantation en axiom

par PHILIPPE AUBRY

Thèse de doctorat en Sciences et techniques communes

Sous la direction de Daniel Lazard.

Soutenue en 1999

à Paris 6 .

    mots clés mots clés


  • Résumé

    La premiere partie de cette these presente une etude des proprietes de differentes notions d'ensembles triangulaires de polynomes et des algorithmes sous-jacents qui permettent de resoudre symboliquement les systemes d'equations algebriques. Nous montrons en particulier l'equidimensionnalite pure du sature d'un ensemble triangulaire, et en deduisons ensuite l'equivalence de notre notion simple d'ensemble triangulaire regulier avec celle de chaine reguliere. Nos nouveaux algorithmes permettent des decompositions triangulaires de systemes polynomiaux plus efficaces et des specifications plus fortes. La seconde partie traite de theorie de galois algebrique constructive par une nouvelle approche. Nous montrons avec a. Valibouze qu'un ideal de galois d'un polynome separable f associe a un groupe de permutations contenant le groupe de galois de f, est engendre par une base de grobner triangulaire. Grace a ce resultat de structure, nous developpons de nouveaux algorithmes (calcul de resolvantes relatives et de generateurs d'un ideal de galois). La troisieme partie est consacree aux aspects d'implantation, d'experimentation et applicatifs. Nous presentons un travail de comparaison experimentale de quatre methodes de decomposition triangulaire realise avec m. Moreno maza, puis donnons trois exemples d'applications de nos implantations (ideal de galois d'un polynome, compression d'images, probleme des n corps).


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 171 p.
  • Annexes : 96 ref.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Disponible pour le PEB
  • Cote : T Paris 6 1999 23
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1999
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.