Formal Study of Plane Delaunay Triangulation

DOI10.1007/978-3-642-14052-5_16zbMath1291.68337arXiv1007.3350OpenAlexW1530227554MaRDI QIDQ5747651

Jean-François Dufourd, Yves Bertot

Publication date: 14 September 2010

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1007.3350

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Related Items (5)

Verification of Closest Pair of Points Algorithms ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Graph theory in Coq: minors, treewidth, and isomorphisms ⋮ Formal study of functional orbits in finite domains ⋮ Formalization of the Poincaré disc model of hyperbolic geometry

Uses Software

• MPFR
• 2D triangulations

This page was built for publication: Formal Study of Plane Delaunay Triangulation