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

Christophe Dehlinger, Jean-François Dufourd. Formal specification and proofs for the topology and classification of combinatorial surfaces. Comput. Geom., 47(9):869-890, 2014. [doi]

Abstract

Abstract is missing.