Ce travail relève du registre de l'algorithmique de courbes et surfaces algébriques réelles. Dans le domaine de la représentation de formes, nous avons développé trois algorithmes. Le premier est un algorithme symbolique-numérique certifié, fortement basé sur les propriétés des polynômes sous-résultants, et permettant le calcul de la topologie d'une courbe algébrique plane avec la meilleur complexité connue. Le deuxième algorithme traite le problème du calcul de la topologie d'une courbe algébrique spatiale définie comme intersection de deux surfaces implicites. Pour construire cet algorithme, nous introduisons la notion de courbe spatiale en position pseudo-générique par rapport à un plan. Cette approche conduit à un algorithme symbolique- numérique certifié disposant de la meilleur complexité connue. Le troisième est un algorithme de maillages de surfaces implicites. C'est le premier algorithme certifié et implémenté qui traite le problème du maillage isotopique de surfaces implicites singulières. Enfin dans un travail sur les arrangements de quadriques nous fournissons un algorithme permettant de calculer un tel arrangement.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00438817 |
Date | 28 September 2009 |
Creators | Diatta, Daouda |
Publisher | Université de Limoges |
Source Sets | CCSD theses-EN-ligne, France |
Language | fra |
Detected Language | French |
Type | PhD thesis |
Page generated in 0.0021 seconds