Christophe Dehlinger

According to our database, Christophe Dehlinger authored at least 5 papers between 2000 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Formal specification and proofs for the topology and classification of combinatorial surfaces.

Christophe Dehlinger, Jean-François Dufourd

Comput. Geom., 2014

2004

Formalizing the trading theorem in Coq.

Christophe Dehlinger, Jean-François Dufourd

Theor. Comput. Sci., 2004

Formalizing generalized maps in Coq.

Christophe Dehlinger, Jean-François Dufourd

Theor. Comput. Sci., 2004

2002

Formalizing the Trading Theorem for the Classification of Surfaces.

Christophe Dehlinger, Jean-François Dufourd

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2000

Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry.

Christophe Dehlinger, Jean-François Dufourd, Pascal Schreck

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000