Open AccessThe Verified Polyhedron Library: an overview
Author(s) -
Sylvain Boulmé,
Alexandre Maréchal,
David Monniaux,
Michaël Périn,
Hao Yu
Publication year - 2018
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - polyhedron , computer science , combinatorics , mathematics