Resolutions des systemes d'equations algebriques

par Jean-Charles Faugère

Thèse de doctorat en Sciences appliquées

Sous la direction de Daniel Lazard.

Soutenue en 1994

à Paris 6 .

    mots clés mots clés


  • Résumé

    L'outil essentiel pour resoudre un systeme d'equations polynomiales est le calcul des bases de groebner. La complexite theorique doublement exponentielle rend les calculs tres difficiles. Notre travail a porte sur trois axes: 1 algorithmique. L'idee est de calculer une base de groebner auxiliaire plus facile a obtenir puis de faire un changement de bases. Un premier algorithme a ete propose (dans le cas ou le systeme ne comporte qu'un nombre fini de solutions) rendant accessible une nouvelle classe de problemes. Un nouvel algorithme considerablement plus rapide permet de traiter le cas general. 2 problemes informatiques. Afin de gerer dynamiquement la memoire nous avons propose un mecanisme de garbage collection original et tres efficace. Un algorithme de calcul distribue nouveau permet un gain de temps important en utilisant plusieurs processeurs. 3 le systeme gb. Devant la relative inefficacite des systemes de calcul formel nous avons developpe un logiciel (c++) tres rapide nomme gb. Gb est organise autour d'une architecture client/serveur et permet de faire des calculs sur un reseau heterogenes de machines. Gb est egalement connecte au systemes axiom et pari. Nous donnons des applications de gb dans plusieurs domaines (theorie des codes auto correcteurs, robotique)

  • Titre traduit

    Solving systems of polynomial equations


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 350 P.
  • Annexes : 93 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1994 118
  • 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 1994

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1994PA066118
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.