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]
No references recorded for this publication.
No citations of this publication recorded.