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…
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…
A comprehensive study on cooperation and cosponsoring in the US Senate Written by Ayşegül Peközsoy, Leo Späth, and Klaus Stier Political Background The United States of America is a federal republic with a presidential system, meaning that the executive branch…
Written by David Li, Anna Roth Introduction Visual graph layouts are a nice tool to quickly spot symmetries and other structures on graphs. As common graph layout tools, such as Gephi, can only layout graphs in Euclidean space, our goal…
Written by Amelie Strupp Introduction This project aimed at providing an interactive application to visualize Root Systems and theircorresponding Weyl groups. The final version is available through the following link. Prerequisites This section introduces some important concepts by using visualizations…
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…
Written by Noah Koopmann and Ingmar Lowack Due to the nature of our project, respectively the amount of subject-related text on our web application (see here), we will use the space of this blog post to talk about our work…
Written by Leon-Josip Dzojic, Matilde Sciortino, and Pirmin Kupffer In the year 1980 M. H. Freedman conjectured that every generic smooth knot in three dimensional Euclidean space has a tritangent plane, i.e., a plane tangent to three distinct points. However,…
