Pages that link to "Item:Q448980"
From MaRDI portal
The following pages link to Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980):
Displaying 5 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)
- Tests and proofs for custom data generators (Q1624592) (← links)
- A verified ODE solver and the Lorenz attractor (Q1663218) (← links)
- Tests and Proofs for Enumerative Combinatorics (Q2827441) (← links)
