Isotopic triangulation of a real algebraic surface - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Symbolic Computation Year : 2009

Isotopic triangulation of a real algebraic surface

Lionel Alberti
  • Function : Author
  • PersonId : 842419
Bernard Mourrain


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
115 View
223 Download



Gmail Facebook Twitter LinkedIn More