The following pages link to (Q4790670):
Displayed 10 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)
- Fast formal proof of the Erdős-Szekeres conjecture for convex polygons with at most 6 points (Q670696) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- Ham-sandwich cuts for abstract order types (Q1702128) (← links)
- Formalizing generalized maps in Coq (Q1882905) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← 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)