1. Basu, S., Pollack, R., Roy, M.-F.: Computing Roadmaps of Semi-algebraic Sets on a Variety. In: Cucker, F., Shub, M. (eds.) Foundations of Computational Mathematics, pp. 1–15. Springer, Heidelberg (1997)
2. Canny, J.: The Complexity of Robot Motion Planning. MIT Press, Cambridge (1987)
3. Caviness, B.F., Johnson, J.R. (eds.): Quantifier Elimination and Cylindrical Algebraic Decomposition. Springer, Heidelberg (1998)
4. Lecture Notes in Computer Science;G.E. Collins,1975
5. Croft, T.H., Falconer, K.J., Guy, R.K.: Unsolved Problems in Geometry. Springer, Heidelberg (1991)