Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Isolating the singularities of the plane projection of a generic space curve

George Krait 1 Sylvain Lazard 1 Guillaume Moroz 1 Marc Pouget 1
1 GAMBLE - Geometric Algorithms and Models Beyond the Linear and Euclidean realm
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : Isolating the singularities of a plane curve is the first step towards computing its topology. For this, numerical methods are efficient but not certified in general. We are interested in developing certified numerical algorithms for isolating the singularities. In order to do so, we restrict our attention to the special case of plane curves that are projections of smooth curves in higher dimensions. This type of curves appears naturally in robotics applications and scientific visualization. In this setting, we show that the singularities can be encoded by a regular square system whose solutions can be isolated with certified numerical methods. Our analysis is conditioned by assumptions that we prove to be generic using transversality theory, we also provide a semi-algorithm to check their validity.
Complete list of metadata

Cited literature [54 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02612412
Contributor : George Krait Connect in order to contact the contributor
Submitted on : Tuesday, May 19, 2020 - 10:29:38 AM
Last modification on : Wednesday, November 3, 2021 - 7:08:57 AM

File

Submission-HAL-12-05-2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02612412, version 1

Collections

Citation

George Krait, Sylvain Lazard, Guillaume Moroz, Marc Pouget. Isolating the singularities of the plane projection of a generic space curve. 2020. ⟨hal-02612412⟩

Share

Metrics

Record views

165

Files downloads

116