complexvis.pdf
Curves and Surfaces for Computer Aided Geometric Design
Quantifier Elimination and Cylindrical Algebraic Decomposition
[Lingguo Bu, Robert Schoen (Auth.), Lingguo Bu, Ro