Pages that link to "Item:Q1577493"
From MaRDI portal
The following pages link to Functional specification and prototyping with oriented combinatorial maps (Q1577493):
Displaying 7 items.
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Formal study of functional orbits in finite domains (Q483296) (← links)
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Efficient generation of simple polygons for characterizing the shape of a set of points in the plane (Q936454) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883) (← links)
- On planarity of graphs in homotopy type theory (Q6620019) (← links)
