Pages that link to "Item:Q1882905"
From MaRDI portal
The following pages link to Formalizing generalized maps in Coq (Q1882905):
Displaying 4 items.
- Coq (Q12929) (← links)
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
