1 result  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