The Verified Polyhedron Library: an Overview | IEEE Conference Publication | IEEE Xplore