Isotopic triangulation of a real algebraic surface

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.
Keywords :
Document type :
Journal articles

Cited literature [34 references]

https://hal.inria.fr/inria-00433141
Contributor : Bernard Mourrain <>
Submitted on : Wednesday, November 18, 2009 - 11:56:25 AM
Last modification on : Monday, October 12, 2020 - 10:27:37 AM
Long-term archiving on: : Thursday, June 17, 2010 - 8:50:16 PM

File

paper.pdf
Files produced by the author(s)

Citation

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⟩

Record views