Pages that link to "Item:Q5747651"
From MaRDI portal
The following pages link to Formal Study of Plane Delaunay Triangulation (Q5747651):
Displayed 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)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- Verification of Closest Pair of Points Algorithms (Q5049012) (← links)