Springe direkt zu Inhalt
Fachbereich Mathematik und Informatik
Service-Navigation
Startseite
Personen
Impressum
Sitemap
Kontakt
Datenschutz
Barrierefreiheit
DE
DE: Deutsch
EN: English
Suchbegriffe
Hinweise zur Datenübertragung bei der Google™ Suche
Fachbereich Mathematik und Informatik
Menü
Mathematik
loading...
Informatik
loading...
Bioinformatik
loading...
Studium
loading...
Forschung
loading...
Service
loading...
Pfadnavigation
Startseite
Service
Vorträge & Termine des Fachbereichs
"The Largest Math Proof Ever" (M. Heule)
Vortrag von Marijn Heule: Everything's Bigger in Texas: "The Largest Math Proof Ever"
10.12.2018 | 14:00 c.t. - 15:30
Zeit & Ort
10.12.2018 | 14:00 c.t. - 15:30
SR 005, Informatikgebäude
Takustr. 9
Für eine optimale Darstellung dieser Seite aktivieren Sie bitte JavaScript.
Links zum Thema
Marijn Heule (University of Texas, Austin): Everything's Bigger in Texas: "The Largest Math Proof Ever"
