Pages that link to "Item:Q805200"
From MaRDI portal
The following pages link to Formal specification of topological subdivisions using hypermaps (Q805200):
Displaying 5 items.
- 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)
- Functional specification and prototyping with oriented combinatorial maps (Q1577493) (← links)
- Algebraic specification and development in geometric modeling (Q5044726) (← links)
- A topologically consistent representation for image analysis: the frontiers topological graph (Q6567740) (← links)