Monera, M. G.; Gómez-Gutiérrez, V.; Sánchez-Bringas, F. Lines of curvature on the double torus. (English) Zbl 1493.53010 Lobachevskii J. Math. 43, No. 1, 98-109 (2022). MSC: 53A07 PDF BibTeX XML Cite \textit{M. G. Monera} et al., Lobachevskii J. Math. 43, No. 1, 98--109 (2022; Zbl 1493.53010) Full Text: DOI arXiv OpenURL
Dehlinger, Christophe; Dufourd, Jean-François Formal specification and proofs for the topology and classification of combinatorial surfaces. (English) Zbl 1296.65034 Comput. Geom. 47, No. 9, 869-890 (2014). MSC: 65D18 PDF BibTeX XML Cite \textit{C. Dehlinger} and \textit{J.-F. Dufourd}, Comput. Geom. 47, No. 9, 869--890 (2014; Zbl 1296.65034) Full Text: DOI OpenURL
Dufourd, Jean-François An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps. (English) Zbl 1187.68525 J. Autom. Reasoning 43, No. 1, 19-51 (2009). MSC: 68T15 03B35 PDF BibTeX XML Cite \textit{J.-F. Dufourd}, J. Autom. Reasoning 43, No. 1, 19--51 (2009; Zbl 1187.68525) Full Text: DOI OpenURL
Dufourd, Jean-François Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof. (English) Zbl 1154.68100 Theor. Comput. Sci. 403, No. 2-3, 133-159 (2008). MSC: 68T15 PDF BibTeX XML Cite \textit{J.-F. Dufourd}, Theor. Comput. Sci. 403, No. 2--3, 133--159 (2008; Zbl 1154.68100) Full Text: DOI OpenURL
Puitg, F.; Dufourd, J.-F. Formalizing mathematics in higher-order logic: A case study in geometric modelling. (English) Zbl 0945.68178 Theor. Comput. Sci. 234, No. 1-2, 1-57 (2000). MSC: 68U05 68Q65 PDF BibTeX XML Cite \textit{F. Puitg} and \textit{J. F. Dufourd}, Theor. Comput. Sci. 234, No. 1--2, 1--57 (2000; Zbl 0945.68178) Full Text: DOI OpenURL
Françon, Jean On the topology of an arithmetic plane. (Sur la topologie d’un plan arithmétique.) (French) Zbl 0871.68165 Theor. Comput. Sci. 156, No. 1-2, 159-176 (1996). MSC: 68U05 PDF BibTeX XML Cite \textit{J. Françon}, Theor. Comput. Sci. 156, No. 1--2, 159--176 (1996; Zbl 0871.68165) Full Text: DOI OpenURL
Lienhardt, Pascal Subdivisions de surfaces et cartes généralisées de dimension 2. (Subidivisions of surfaces and generalized maps of dimension 2). (French) Zbl 0734.68095 RAIRO, Inform. Théor. Appl. 25, No. 2, 171-202 (1991). MSC: 68U05 PDF BibTeX XML Cite \textit{P. Lienhardt}, RAIRO, Inform. Théor. Appl. 25, No. 2, 171--202 (1991; Zbl 0734.68095) Full Text: DOI EuDML OpenURL