1. Akritas, A.G.: An implementation of Vincents Theorem. Numerische Mathematik 36, 53–62 (1980)
2. Alberti, L., Mourrain, B., Wintz, J.: Topology and arrangement computation of semi-algebraic planar curves. Comp. Aid. Geom. Des. 25(8), 631–651 (2008)
3. Alcázar, J.G., Schicho, J., Sendra, J.R.: A delineablity-based method for computing critical sets of algebraic surfaces. J. Symb. Comp. 42, 678–691 (2007)
4. Arnon, D.S., McCallum, S.: A polynomial-time algorithm for the topological type of a real algebraic curve. J. Symb. Comp. 5, 213–236 (1998)
5. Arnon, D.S., Collins, G., McCallum, S.: Cylindrical algebraic decomposition, I: the Basic Algorithm. SIAM Journal on Computing 13(4), 865–877 (1984)