Ewgenij Gawrilow Michael Joswig Polymake: an approach to modular software design in computational geometry. 222-231 2001 Symposium on Computational Geometry http://doi.acm.org/10.1145/378583.378673 db/conf/compgeom/compgeom2001.html#GawrilowJ01