Speaker:  Matthias Köppe, UC Davis

Title:  Normalized antics: Polyhedral computation in an irrational age

Classic polyhedra such as the dodecahedron have irrational coordinates. How do we compute with them if we need exact answers? In this hands-on lecture using the SageMath system, intended to be accessible to advanced undergraduate students, I explain how to compute with polyhedral representations and with real embedded algebraic number fields. I then report on an ongoing project with W. Bruns, V. Delecroix, and S. Gutsche to obtain an efficient implementation in Normaliz, integrated with SageMath, involving the existing software libraries ANTIC, arb, and FLINT.