Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Computational and Applied Mathematics Année : 2021

Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves

Résumé

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 curve 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. Finally, we present experiments, some of which are not reachable by other methods, and discuss the efficiency of our method.
Fichier principal
Vignette du fichier
_JoCAM.pdf (5.63 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03161393 , version 1 (06-03-2021)

Identifiants

Citer

George Krait, Sylvain Lazard, Guillaume Moroz, Marc Pouget. Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves. Journal of Computational and Applied Mathematics, 2021, 394, pp.113553. ⟨10.1016/j.cam.2021.113553⟩. ⟨hal-03161393⟩
150 Consultations
335 Téléchargements

Altmetric

Partager

More