1. Basu, S., Pollack, R., and Roy, M.-F.: Computing the First Betti Number and the Connected Components of Semi-Algebraic Sets, in: Proceedings of STOC 2005.
2. Collins, G. E.: Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition, Lecture Notes in Computer Science 33, Springer-Verlag, Berlin, 1975, pages 134–183.
3. Delanoue, N., Jaulin, L., and Cottenceau, B.: Using Interval Arithmetic to Prove That a Set Is Path-Connected, Theoretical Computer Science, Special Issue: Real Numbers and Computers, 2004.
4. Edelsbrunner, H. and Shah, N. R.: Triangulating Topological Spaces, in: Proceedings of the Tenth Annual Symposium on Computational Geometry, United States Publication, Stony Brook, New York, 1994, pp. 285–292.
5. Jaulin L., Kieffer M., Didrit O., Walter E. (2001). Applied Interval Analysis. Springer-Verlag, London