Veranstaltungskalender

Mi, 19.07.2017, 16:15

Ende:
Mi, 19.07.2017, 16:45
"What is ... a computer-assisted proof?"
What Is Seminar

Referent: Björn Augner
Raum: S2|15 234

Details / Abstract
Mi, 19.07.2017, 17:15
Kann der Computer helfen, Existenz- und Vielfachheitsbeweise für nichtlineare elliptische Randwertprobleme zu führen?
Mathematisches Kolloquium

Referent: Prof. Dr. Michael Plum, Karlsruher Institut für Technologie (KIT)
Raum: S2|14 /24

Details / Abstract

 


Kontakt

Fachbereich Mathematik
Technische Universität Darmstadt

Schlossgartenstraße 7
64289 Darmstadt

A A A | Print Drucken | Impressum Impressum | Contact Kontakt
    zum Seitenanfangzum Seitenanfang