1. Balbiani, P., Dugat, V., Fariñas del Cerro, L., Lopez, A.: Eléments de Géométrie Mécanique. Hermèes (1994).
2. Barras, B. et al.: The Coq Proof Assistant Reference Manual (Version 6.3.1). INRIA (1999),
http://pauillac.inria.fr/coq/doc/main.html
3. Chou, S.-C.: Mechanical Geometry Theorem Proving. D. Reidel (1988).
4. Lect Notes Comput Sci;T. Coquand,1985
5. Lect Notes Comput Sci;T. Coquand,1990