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 with polymake installed as described here, preferably the most recent version 3.2. MacOS users should read and follow this specific advice. If you should be running any flavor of Windows it is recommended that you use the docker image; alternatively you can use the Linux subsystem in Windows 10. 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.