Designing and proving correct a convex hull algorithm with hypermaps in Coq.

Christophe Brun Jean-François Dufourd Nicolas Magaud

Published in: Comput. Geom. (2012)

Keyphrases

convex hull
learning algorithm
recursive algorithm
matching algorithm
machine learning
search space
dynamic programming
feasible solution
voronoi diagram
computational geometry
linear programming
optimal solution
computer vision
minimum distance
extreme points
discrete tomography
simple polygon