scientific article
From MaRDI portal
Publication:3906789
zbMath0457.57001MaRDI QIDQ3906789
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Formalizing generalized maps in Coq ⋮ Formalizing the trading theorem in Coq ⋮ Algebraic specification and development in geometric modeling ⋮ An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps ⋮ Lines of curvature on the double torus ⋮ On the topology of an arithmetic plane ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Topological approaches to knotted electric charge distributions ⋮ Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof ⋮ Asymptotic states of black holes in KMY model ⋮ Subdivisions de surfaces et cartes généralisées de dimension 2 ⋮ Formalizing mathematics in higher-order logic: A case study in geometric modelling
