The Parma Polyhedra Library: Toward a co
โ
Roberto Bagnara; Patricia M. Hill; Enea Zaffanella
๐
Article
๐
2008
๐
Elsevier Science
๐
English
โ 877 KB
Since its inception as a student project in 2001, initially just for the handling (as the name implies) of convex polyhedra, the Parma Polyhedra Library has been continuously improved and extended by joining scrupulous research on the theoretical foundations of (possibly non-convex) numerical abstra