Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry. - Christophe Dehlinger; Jean-François Dufourd; Pascal Schreck (Automated Deduction in Geometry, 2000)

Formalizing the Trading Theorem for the Classification of Surfaces. - Christophe Dehlinger; Jean-François Dufourd (TPHOLs, 2002)

Formalizing generalized maps in Coq. - Christophe Dehlinger; Jean-François Dufourd (Theor. Comput. Sci., 2004)

Formalizing the trading theorem in Coq. - Christophe Dehlinger; Jean-François Dufourd (Theor. Comput. Sci., 2004)

Formal specification and proofs for the topology and classification of combinatorial surfaces. - Christophe Dehlinger; Jean-François Dufourd (Comput. Geom., 2014)