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