Varieties, Polyhedra, Computation