Laufende Bachelorarbeiten
Schreiber, Michaela: Untersuchung des Status computer-gestützter mathematischer Beweise am Beispiel des Beweises der Keplerschen Vermutung
Betreuer
Abschluss
Bachelor of Science (B.Sc.)
Strama, Thomas: Vergleich verschiedener Datenstrukturen hinsichtlich ihrer Performance
Betreuer
Abschluss
Bachelor of Science (B.Sc.)
Lohan, Janos: Übertragung von Tree Covers auf die Kürzeste-Wege-Metrik von Unit-Disk-Graphen
Betreuer
Abschluss
Bachelor of Science (B.Sc.)