Formalizing Convex Hull Algorithms.

David Pichardie Yves Bertot

Published in: TPHOLs (2001)

Keyphrases

convex hull
learning algorithm
face recognition
data points
computational geometry
data sets
computer vision
lower bound
mixed integer