The Verified Polyhedron Library: an Overview.

Sylvain Boulm, Alexandre Marchal, David Monniaux, Michal Prin, Hang Yu

Browse the full SYNASC paper archive.