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

DOI10.1016/j.cam.2021.113553zbMath1465.65021OpenAlexW3146680379MaRDI QIDQ2029428

George Krait, Marc Pouget, Sylvain Lazard, Guillaume Moroz

Publication date: 3 June 2021

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-03161393/file/_JoCAM.pdf

zbMATH Keywords

interval analysistransversalitygeneric singularitiescertified numerical algorithmssingular curve topology

Mathematics Subject Classification ID

Numerical aspects of computer graphics, image analysis, and computational geometry (65D18)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Solving bivariate systems using rational univariate representations
• A certified numerical algorithm for the topology of resultant and discriminant curves
• Singularities of differentiable maps, Volume 1. Classification of critical points, caustics and wave fronts. Transl. from the Russian by Ian Porteous, edited by V. I. Arnol'd
• Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach
• An efficient method for analyzing the topology of plane real algebraic curves.
• Regular families of curves
• Robust certified numerical homotopy tracking
• The complexity of subdivision for diameter-distance tests
• An improved upper complexity bound for the topology computation of a real algebraic plane curve
• A numerical approach to compute the topology of the apparent contour of a smooth mapping from \(\mathbb{R}^2\) to \(\mathbb{R}^2\)
• Differentiable even functions
• Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve
• Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision
• Verification methods: Rigorous results using floating-point arithmetic
• Multiple zeros of nonlinear systems
• Introduction to Interval Analysis
• Mean Value and Taylor Forms in Interval Analysis
• Empirical Evaluation of Innovations in Interval Branch and Bound Algorithms for Nonlinear Systems
• Using Algebraic Geometry
• Fast Reduction of Bivariate Polynomials with Respect to Sufficiently Regular Gröbner Bases
• Plantinga-Vegter Algorithm takes Average Polynomial Time
• Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis
• Algorithms in real algebraic geometry

This page was built for publication: Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves