research
∙
01/29/2021
lrsarith: a small fixed/hybrid arithmetic C library
We describe lrsarith which is a small fixed precision and hybrid arithme...
research
∙
09/14/2017
Parallel Enumeration of Triangulations
We report on the implementation of an algorithm for computing the set of...
research
∙
11/20/2015
mplrs: A scalable parallel vertex/facet enumeration code
We describe a new parallel implementation, mplrs, of the vertex enumerat...
research
∙
10/09/2015