Isotopic meshing of a real algebraic surface - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

Isotopic meshing of a real algebraic surface


We present a new algorithm for computing the topology of a real algebraic surface $S$, even in singular cases. We use previous algorithms for 2D and 3D algebraic curves and show how properties of the polar variety of $S$ yield a topological complex equivalent to $S$, or even a simplicial complex isotopic to $S$. The proof of correctness of the algorithm is detailed. It is based on tools 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 effectivity issues conclude the paper.
Fichier principal
Vignette du fichier
RR-5508.pdf (336.34 Ko) Télécharger le fichier

Dates and versions

inria-00070499 , version 1 (19-05-2006)


  • HAL Id : inria-00070499 , version 1


Bernard Mourrain, Jean-Pierre Técourt. Isotopic meshing of a real algebraic surface. [Research Report] RR-5508, INRIA. 2006, pp.21. ⟨inria-00070499⟩
82 View
119 Download


Gmail Facebook X LinkedIn More