Written by Vincent Voß, Katrin Weiß This Lean Game was created as a group project during a HEGL seminar by Heide Frank, Johannes Kadel, Adriano Messina, Hannah Rothe, Jonas Schäfer, Alina Stock, Vincent Voß and Katrin Weiß. What is a…
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…
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…
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…
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…
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…
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…
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…
