Departamento de Matematicas, Estadistica y Computacion Facultad de Ciencias, Universidad de Cantabria, Santander 39005, Spain
Abstract:
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.