3 results  save search


...
inria-00504027v1  Conference papers
Jean-François DufourdYves Bertot. Formal study of plane Delaunay triangulation
Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226
...
hal-00487862v1  Conference papers
Jean-Daniel BoissonnatArijit Ghosh. Manifold reconstruction using Tangential Delaunay Complexes
ACM Symposium on Computational Geometry, Jun 2010, Snowbird, United States. pp.200