TY  - RPRT
TI  - Formal study of plane Delaunay triangulation
AU  - Jean-François Dufourd
AU  - Yves Bertot
PY  - 2010
UR  - https://arxiv.org/abs/1007.3350
ID  - 1007.3350
ER  -