Thom’s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets (1988)

by M Coste, M F Roy
Venue:J. Symb. Comput