Sur le calcul effectif de la topologie de courbes et surfaces implicites
Auteur / Autrice : | Jean-Pierre Técourt |
Direction : | Bernard Mourrain |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique |
Date : | Soutenance en 2005 |
Etablissement(s) : | Nice |
Ecole(s) doctorale(s) : | École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) |
Mots clés
Résumé
Dans cette thèse nous nous sommes intéressés au problème du calcul effectif de la topologie de courbes et surfaces implicites. On peut distinguer quatres travaux différents: Dans une première partie, on présente un algorithme permettant de calculer la topologie d'une courbe de R3 définie comme intersection de deux surfaces algébriques. C'est à dire le calcul d'un graphe de points isotope à la courbe de départ. Puis on détaille un algorithme de calcul d'un arrangement de quadriques par balayage, basé sur une décomposition en ``trapézoides'' du plan de balayage. La troisième partie est consacré à un algorithme de triangulation de surfaces algébriques. Cet algorithme basé sur le calcul d'une stratification de Whitney de la surface est le premier fournissant un maillage isotopique à la surface de départ y compris dans le cas de surfaces singulières. Enfin, on étudie une famille de surfaces paramétrées, les surfaces de Steiner, apportant des réponses aux problèmes de classification effective, implicitisation et calcul d'antécénts.