Pages that link to "Item:Q396466"
From MaRDI portal
The following pages link to Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466):
Displaying 6 items.
- Formal specification of topological subdivisions using hypermaps (Q805200) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Functional specification and prototyping with oriented combinatorial maps (Q1577493) (← links)
- Formalizing generalized maps in Coq (Q1882905) (← links)
- Formalizing the trading theorem in Coq (Q1882906) (← links)
- Formalization of Bing’s Shrinking Method in Geometric Topology (Q2817290) (← links)