Laufende Bachelorarbeiten
Susnik, Niclas Pascal: Subquadratische Algorithmen zur Berechnung des Durchmessers innerhalb planarer Graphen
Betreuer
Abschluss
Bachelor of Science (B.Sc.)
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.)