1. An Introduction to Gröbner Bases;Adams,1994
2. Infinite Dimensional Analysis;Aliprantis,2006
3. Parameterization in finite precision;Bajaj;Algorithmica,2000
4. Approximating algebraic space curves by circular arcs;Bela,2012
5. Quantifier Elimination and Cylindrical Algebraic Decomposition;Caviness,1998