Polyhedral and Algebraic Methods in Computational Geometry