Pages that link to "Item:Q2643883"
From MaRDI portal
The following pages link to Design and formal proof of a new optimal image segmentation program with hypermaps (Q2643883):
Displaying 8 items.
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← 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)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Tests and proofs for custom data generators (Q1624592) (← links)
- Tests and Proofs for Enumerative Combinatorics (Q2827441) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)
- Constructive Mathematics and Functional Programming (Abstract) (Q5458392) (← links)
