Skip to Main content Skip to Navigation
Journal articles

Isotopic triangulation of a real algebraic surface

Lionel Alberti 1 Bernard Mourrain 1 Jean-Pierre Técourt 1
1 GALAAD - Geometry, algebra, algorithms
CRISAM - Inria Sophia Antipolis - Méditerranée , UNS - Université Nice Sophia Antipolis (... - 2019), CNRS - Centre National de la Recherche Scientifique : UMR6621
Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download
Contributor : Bernard Mourrain Connect in order to contact the contributor
Submitted on : Wednesday, November 18, 2009 - 11:56:25 AM
Last modification on : Tuesday, December 7, 2021 - 4:04:11 PM
Long-term archiving on: : Thursday, June 17, 2010 - 8:50:16 PM


Files produced by the author(s)




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



Les métriques sont temporairement indisponibles