|
||
---|---|---|
hal-00536710v1
Conference papers
Connections between Theta-Graphs, Delaunay Triangulations, and Orthogonal Surfaces WG 2010, Jun 2010, Greece. pp.266--278, ⟨10.1007/978-3-642-16926-7_25⟩ |
||
inria-00504027v1
Conference papers
Formal study of plane Delaunay triangulation Interactive Theorem Proving, Jul 2010, Edinburgh, United Kingdom. pp.211-226 |
||
hal-00487862v1
Conference papers
Manifold reconstruction using Tangential Delaunay Complexes ACM Symposium on Computational Geometry, Jun 2010, Snowbird, United States. pp.200 |
||
|