The Verified Polyhedron Library: an Overview.

Sylvain Boulmé Alexandre Maréchal David Monniaux Michaël Périn Hang Yu

Published in: SYNASC (2018)

Keyphrases

euclidean space
convex hull
digital libraries
line drawings
detailed discussion
real world
learning algorithm
information systems
probability distribution
medical images
linear programming
future trends