Written by Tabea Kruse and Linus Zeitnitz Einleitung Dieser Workshop ist im Rahmen des HEGL-Seminars „Teaching Mathematics“ im Sommersemester 2025 an der Universität Heidelberg entstanden. Ausgehend von Vorträgen zur Cantor-Menge und Cantor-Funktion wählten wir das Thema Fraktale, welches im Rahmen…
Written by Anna Liepold, Sophie Schreck and Meryem Keskin Dieser Workshop ist im Rahmen des HEGL-Seminars „Teaching Mathematics“ im Sommersemester 2025 an der Universität Heidelberg entstanden. Das Ziel dieses Workshops ist es, den Schüler*innen den Begriff der „Unendlichkeit“ aus einem…
Written by Shahroch Malik Hassany Introduction My task in this project was to understand how a new implementation of the real numbers in Lean works: the ComputableReal Repository. I was supposed to figure out what it does, how it works,…
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 Tabea Bokelmann, Malin Clasen, Eva Hettler This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Hannah Gebhardt, Solveig Harder, Hannah Renner This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Jule Dyck, Michelle Rehmer, Alina Vogel This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Johannes Kadel, Luca-Marie Carstens, Gino Rincon This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
Written by Annika Lehmann, Mathilda Ott, Hannah Raithel This work was created during a HEGL seminar targeted at students in the teaching programme. As the aim is to produce materials for use in schools, the following will be in German.…
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…
