UNIVERSITÉ PARIS 7 --- DENIS DIDEROT 
UFR D'INFORMATIQUE
 Thèse de Doctorat 
présentée pour l'obtention du diplôme de
Docteur de l'Université Paris 7
spécialité : informatique
par
Louis GRANBOULAN
CALCUL D'OBJETS GÉOMÉTRIQUES
 À L'AIDE DE MÉTHODES ALGÉBRIQUES ET NUMÉRIQUES
 DESSINS D'ENFANTS
-  Soutenue le 8 décembre 1997 devant le jury composé de :
 -  Henri Cohen (président)
-  Jean-Marc Couveignes
-  Philippe Flajolet
-  Daniel Krob
-  Daniel Lazard
-  Andrew Odlyzko (rapporteur)
-  Jacques Stern (directeur)
-  Alexandre Zvonkine (rapporteur)
        
 Travaux effectués au Laboratoire d'informatique de l'ENS.
LIENS, URA 1327 (maintenant UMR 8548) du CNRS.
  45 rue d'Ulm, 75230 Paris Cedex 05.
Mots clés : Systèmes d'équations algébriques.
 Réduction de réseau.
 Dessins d'enfants.
 Galois inverse.
- Table des matières
 -  Remerciements
-  Résumé
         (english translation :
     abstract)
-  Introduction
   -  I Résolution d'un système algébrique
 -  I.1 Notions d'algèbre
 -   I.1.1 Définitions
         I.1.2 Corps de nombres
         I.1.3 Approximation d'un nombre algébrique
         I.1.4 Système algébrique
 -  I.2 Calcul de bases de Gröbner
 -   I.2.1 Un calcul formel sur les polynômes
         I.2.2 Réduction dans K[X]
         I.2.3 Réduction de S-polynômes
 -  I.3 Méthode numérique
 -   I.3.1 Un calcul approché dans un corps de nombres
         I.3.2 Convergence
         I.3.3 Choix de l'approximation initiale
         I.3.4 Algébrisation
 
-  II Dessins d'enfants
 -  II.1 Introduction aux dessins
 -   II.1.1 Présentation informelle
         II.1.2 Structures mathématiques
 -  II.2 Double visage combinatoire -- géométrie
 -   II.2.1 Aspect combinatoire
         II.2.2 Variantes
         II.2.3 Aspect géométrique
         II.2.4 Généralisations
 -  II.3 Corps des modules
 -   II.3.1 Action de Galois
         II.3.2 Invariants galoisiens
         II.3.3 Morphismes de dessins
         II.3.4 Énumération des dessins
         II.3.5 Rigidité
 
-  III Calcul de la fonction de Belyi
 -  III.1 Le système algébrique
 -   III.1.1 Paramètres de la paire de Belyi
         III.1.2 Les dessins de genre 0
         III.1.3 Cas des arbres.
 -  III.2 Autres méthodes
 -   III.2.1 Méthodes directes
         III.2.2 Séries de Puiseux
 -  III.3 Approximation de dessins
 -   III.3.1 Résolution par étapes dans C
         III.3.2 Résolution approchée dans Qp
         III.3.3 Approximation de revêtements ramifiés au dessus de 4 points
 
-  IV Exemples de calculs
 -  IV.1 Matériel et méthodes
 -   IV.1.1 Logiciels
         IV.1.2 Machines
         IV.1.3 Méthode
 -  IV.2 Exemples élémentaires
 -   IV.2.1 Étoiles et étoiles doubles, cercles
         IV.2.2 Lignes
 -  IV.3 Les arbres en Y
 -   IV.3.1 Classification
         IV.3.2 Résultats
         IV.3.3 Remarques
 -  IV.4 Divers dessins
 -   IV.4.1 Dessins ``esthétiques''
         IV.4.2 Distance entre sommets adjacents
         IV.4.3 Exemple résistant à la résolution formelle
 -  IV.5 Les groupes de Mathieu
 -   IV.5.1 Contexte
         IV.5.2 Dessin correspondant à Aut(M22)
         IV.5.3 Dessins correspondant à M24
         IV.5.4 Revêtement correspondant à M24
 
-  A Logiciels de calcul de bases de Gröbner
 -  A.1 Calcul du système
        A.2 Application aux arbres en Y de type B
 -  Références