Isotopic triangulation of a real algebraic surface - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Symbolic Computation Année : 2009

Isotopic triangulation of a real algebraic surface

Lionel Alberti
  • Fonction : Auteur
  • PersonId : 842419
Bernard Mourrain

Résumé

We present a new algorithm for computing the topology of a real algebraic surface $S$ in a ball $B$, even in singular cases. We use algorithms for 2D and 3D algebraic curves and show how one can compute a topological complex equivalent to $S$, and even a simplicial complex isotopic to $S$ by exploiting properties of the contour curve of $S$. The correctness proof of the algorithm is based on results from stratification theory. We construct an explicit Whitney stratification of $S$, by resultant computation. Using Thom's isotopy lemma, we show how to deduce the topology of $S$ from a finite number of characteristic points on the surface. An analysis of the complexity of the algorithm and effectiveness issues conclude the paper.
Fichier principal
Vignette du fichier
paper.pdf (602.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00433141 , version 1 (18-11-2009)

Identifiants

Citer

Lionel Alberti, Bernard Mourrain, Jean-Pierre Técourt. Isotopic triangulation of a real algebraic surface. Journal of Symbolic Computation, 2009, 44 (9), pp.1291-1310. ⟨10.1016/j.jsc.2008.02.007⟩. ⟨inria-00433141⟩
134 Consultations
241 Téléchargements

Altmetric

Partager

More