Verimag Polyhedra Library

From MaRDI portal
Software:42060