The Verified Polyhedron Library: an Overview

Sylvain Boulmé, Alexandre Maréchal, David Monniaux, Michaël Périn, Hang Yu. The Verified Polyhedron Library: an Overview. In 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018, Timisoara, Romania, September 20-23, 2018. pages 9-17, IEEE, 2018. [doi]

Abstract

Abstract is missing.