Volker Kaibel Marc E. Pfetsch Some Algorithmic Problems in Polytope Theory. 23-47 2003 conf/dagstuhl/2003agss Algebra, Geometry, and Software Systems db/conf/dagstuhl/agss2003.html#KaibelP03