## Wallpaper groups: The reason why Heidelberg is better than Granada

Written by: Caroline Bornmann, Sebastian Grafe, Johannes Kamlage The reason why Heidelberg is better than Granada Granada in Spain. Roughly 230.000 habitants and a beloved holiday destination for many tourists. But why exactly is this beautiful piece of land in…

## Math Board Game: Museum Heist

Written by: Julia Bulitta, Alina Czasch, Hanna Heer, Tadeus Pindl, Fabian Walliser 1. Introduction During this past summer semester, we dealt with the task to construct a game which has mathematical knowledge. There are already many games that have mathematical…

## Reconstruction of Badr al-Din al-Ayni Mihrab

Written by Almoatasembellah Haggag Abstract The Mihrab (a concave niche situated in the wall of a mosque facing Mecca. [3]) of the 15th-century Badr al-Dın al-Aynı Madrasa in Cairo, renowned for its significance and uniqueness in the medieval city of…

## Generating Victory Boogie Woogie by Piet Mondrian

Written by: Bastian Hirschfeld, Heidi Rhodes James, Arjan Siddhpura, Ioana Todosi In the past semester we have developed a website that shows computer generated compositions in the style of Victory Boogie Woogie which is Mondrian’s last and unfinished work. To…

## Theorem Proving with Lean

Written by: Nikita Grimm, Sebastian Meier, Frederick VandermoetenA hosted version of the app can be found at Starting our project, we embarked on our journey with the Natural Number Game (NNG) to learn about the syntax of Lean 3. We also…

## Continuous Cellular Automata

In a Cellular Automata, we simulate a grid of cells. For each cell, we can calculate its upcoming state based on its previous state. A very famous example of such a system is Conway’s Game of Life. In the Game…

## Pascal’s theorem and Poncelets Porism

Written by Lukas Schmidt, Miriam Compton and Adrian Becker Introduction During this past winter semester, we dealt with two different geometric statements: Pascal’s theorem and Poncelet’s Porism. Pascal’s theorem Let us consider six points such that if for all which…