Polyhedral and algebraic methods in computational geometry - Joswig, Michael (New York : Springer, 2013)