Certified numerical algorithm for isolating the singularities of the plane projection of generic smooth space curves
From MaRDI portal
Publication:2029428
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
interval analysistransversalitygeneric singularitiescertified numerical algorithmssingular curve topology
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
