Laureano González-Vega
Departamento Matemáticas, Estadística y Computación, Facultad de Ciencias, Universidad de Cantabria, Santander 39071, Spain
Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
Journal of Symbolic Computation
A polynomial-time algorithm for the topological type of a real algebraic curve
Complexity of computation on real algebraic numbers