Pages that link to "Item:Q839032"
From MaRDI portal
The following pages link to An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032):
Displaying 6 items.
- Formal specification and proofs for the topology and classification of combinatorial surfaces (Q396466) (← links)
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- Formal study of functional orbits in finite domains (Q483296) (← links)
- Tests and proofs for custom data generators (Q1624592) (← links)
- Tests and Proofs for Enumerative Combinatorics (Q2827441) (← links)
- Verification of Closest Pair of Points Algorithms (Q5049012) (← links)
