Algorithms for the shape of semialgebraic sets a new approach

Cellini, P., Gianni, P., & Traverso, C. (1991). Algorithms for the shape of semialgebraic sets a new approach. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 539 LNCS, pp. 1–18). Springer Verlag. https://doi.org/10.1007/3-540-54522-0_91