This is part of the Hands-on Course on Geometric Software of the Intensive Research Program on Discrete, Combinatorial and Computational Geometry, Barcelona, April 30 - May 4, 2018.
We will start with an introduction to computations in high-dimensional polyhedral geometry, with applications to, e.g., optimization and tropical geometry. Then we will review several algorithms for computing convex hulls and survey their advantages and disadvantages by analyzing explicit examples. The course will end with some reports about the current frontiers of polyhedral computation.
Please bring your own laptop, if possible with polymake installed as described here. MacOS users should read and follow this specific advice. If you should be running any flavor of Windows it is recommended to set up some Linux (e.g., Ubuntu) in a virtual environment. As the very last resort there is a web service, but this comes with many restrictions. For instance, it does not give you the many pretty pictures that I will show.