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 Karl Schamel, Cheni Yang, and Hugo Introduction Many conjectures in graph theory remain open due to the hardness of giving an explicit proof, but they are also easy to be disproven by only a constructive example. Inspired by…
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…
