Cylindrical algebraic decomposition II: an adjacency algorithm for the plane
SIAM Journal on Computing
An efficient method for analyzing the topology of plane real algebraic curves
Selected papers presented at the international IMACS symposium on Symbolic computation, new trends and developments
Comparison of interval methods for plotting algebraic curves
Computer Aided Geometric Design
On the exact computation of the topology of real algebraic curves
SCG '05 Proceedings of the twenty-first annual symposium on Computational geometry
Complete numerical isolation of real zeros in zero-dimensional triangular systems
Proceedings of the 2007 international symposium on Symbolic and algebraic computation
Ambient Isotopic Meshing for Implicit Algebraic Surfaces with Singularities
CASC '09 Proceedings of the 11th International Workshop on Computer Algebra in Scientific Computing
Certified approximation of parametric space curves with cubic B-spline curves
Computer Aided Geometric Design
| Hi-index | 0.00 |
A method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to any given precision. The method uses symbolic computation to guarantee correctness and uses interval analysis whenever possible to enhance efficiency. This leads to a quite effective hybrid method for plane curve isolation.