George Krait, Sylvain Lazard, Guillaume Moroz, Marc Pouget. Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves. J. Computational Applied Mathematics, 394:113553, 2021. [doi]
Abstract is missing.