Manfred Scheucher
Ich habe den Informatik-Master an der TU Graz und mein Doktorat am Institut für Mathematik an der TU Berlin abgeschlossen. In den letzten 10 Jahren (PhD und PostDoc) habe ich im Schnittbereich Informatik-Mathematik geforscht und konnte mehrere jahrzehntealte offene Probleme lösen, darunter das Empty Hexagon Problem von Erdős und mehrere Vermutungen von Grünbaum aus den 1970ern. Dazu habe ich intensiv mit mathematischer OSS wie SageMath und SAT-Solvern gearbeitet, parallelisiert auf Clustern.
Website: https://manfredscheucher.github.io/
Beitrag
11.04
12:00
45min
Mathematische OSS in der Praxis: Logik, Optimierung, Graphentheorie und mehr mit SageMath
Manfred Scheucher
Anwendung
HS i2