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
Axioms and Hulls, Lecture Notes in Computer Science, vol.606, 1991. ,
Une axiomatique de la géométrie plane en Coq, Actes des JFLA 2008, pp.123-136, 2008. ,
Formalisation et automatisation du raisonnement géométrique en Coq, 2006. ,