Formal Study of Plane Delaunay Triangulation
From MaRDI portal
Publication:5747651
DOI10.1007/978-3-642-14052-5_16zbMath1291.68337arXiv1007.3350MaRDI 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
68U05: Computer graphics; computational geometry (digital and algorithmic aspects)
Related Items
Formal specification and proofs for the topology and classification of combinatorial surfaces, Formal study of functional orbits in finite domains, Formalization of the Poincaré disc model of hyperbolic geometry, Graph theory in Coq: minors, treewidth, and isomorphisms
Uses Software