This is the beginning of a loose series of events which revolves around questions concerning mathematics, algorithms, software and data.

The goal is to explain what it takes to bring mathematics into the computer. Conversely, we will also talk about how computer experiments can be turned into mathematics.

We focus on exact computation in polyhedral geometry and nonlinear algebra; other topics will be mentioned in passing.

- software used: OSCAR, polymake
- related projects: MaRDI, SFB/TRR 195

Each topic is described by one question, which is then discussed in a presentation followed by exercises.

- First two questions: MPI-MiS Leipzig, 28 April 2022