Section: New Results
Formalizing Delaunay triangulations
Participants : Yves Bertot, Wassim Haffaf.
We studied the applicability of the mathematical component library to describe Delaunay triangulation algorithms in the most abstract way. We also formalized a theorem on convex functions known as Jensen's inequality.