F. Guilhot, Formalisation en Coq et visualisation d'un cours de g??om??trie pour le lyc??e, Techniques et sciences informatiques, vol.24, issue.9, pp.1113-1138, 2005.
DOI : 10.3166/tsi.24.1113-1138

D. Knuth, Axioms and Hulls, Lecture Notes in Computer Science, vol.606, 1991.

J. Duprat, Une axiomatique de la géométrie plane en Coq, Actes des JFLA 2008, pp.123-136, 2008.

J. Narboux, Formalisation et automatisation du raisonnement géométrique en Coq, 2006.