3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2010
Formal study of plane Delaunay triangulation
Jean-François Dufourd, Yves Bertot
This article presents the formal proof of correctness for a plane Delaunay triangulation algorithm. It consists in repeating a sequence of edge flippings from an initial triangulat…
cs.LO2008★ 3 cited
Discrete Jordan Curve Theorem: A proof formalized in Coq with hypermaps
Jean-François Dufourd
This paper presents a formalized proof of a discrete form of the Jordan Curve Theorem. It is based on a hypermap model of planar subdivisions, formal specifications and proofs assi…