The following pages link to (Q4790670):
Displayed 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)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Formalizing generalized maps in Coq (Q1882905) (← links)
- Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)