Efficient topology determination of implicitly defined algebraic plane curves

This paper is devoted to present a new algorithm computing in a very efficient way the topology of a real algebraic plane curve defined implicitly. This algorithm proceeds in a seminumerical way by performing a symbolic preprocessing which allows later to accomplish the numerical computations in a very accurate way.

[1]  Laureano González-Vega,et al.  Spécialisation de la suite de Sturm , 1994, RAIRO Theor. Informatics Appl..

[2]  Laureano González-Vega,et al.  An Improved Upper Complexity Bound for the Topology Computation of a Real Algebraic Plane Curve , 1996, J. Complex..

[3]  H. Hong.  An efficient method for analyzing the topology of plane real algebraic curves , 1996 .

[4]  Dinesh Manocha,et al.  Eecient and Accurate B-rep Generation of Low Degree Sculptured Solids Using Exact Arithmetic:i - Representations , 1999 .

[5]  Patrizia M. Gianni,et al.  Algorithms for the Shape of Semialgebraic Sets. A New Approach , 1991, AAECC.

[6]  Marie-Françoise Roy,et al.  Complexity of the computation of cylindrical decomposition and topology of real algebraic curves using Thom's lemma , 1990 .

[7]  Scott McCallum,et al.  A Polynomial-Time Algorithm for the Topological Type of a Real Algebraic Curve , 1984, J. Symb. Comput..

[8]  Dinesh Manocha,et al.  Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic: II - computation , 1999, Comput. Aided Geom. Des..

[9]  Mohab Safey El Din,et al.  New Structure Theorem for Subresultants , 2000, J. Symb. Comput..

[10]  Laureano González-Vega,et al.  Spécialisation de la suite de Sturm et sous-résulants , 1990, RAIRO Theor. Informatics Appl..

[11]  T. Sakkalis.  The topological configuration of a real algebraic curve , 1991, Bulletin of the Australian Mathematical Society.

[12]  Dinesh Manocha,et al.  Efficient and exact manipulation of algebraic points and curves , 2000, Comput. Aided Des..

[13]  Felipe Cucker,et al.  On algorithms for real algebraic plane curves , 1991 .

[14]  R. Loos.  Generalized Polynomial Remainder Sequences , 1983 .

[15]  Chandrajit L. Bajaj,et al.  Tracing surface intersections , 1988, Comput. Aided Geom. Des..

[16]  Stefan Arnborg,et al.  Algebraic Decomposition of Regular Curves , 1988, J. Symb. Comput..