Von Newton und Turing zu cyber-physischen Systemen: Erforschung grundlegender Probleme der theoretischen Informatik https://www.mpg.de/11867550/mpi-sws_jb_2017?c=11356432&force_lang=de
Die Gruppe Foundations of Algorithmic Verification konzentriert sich auf eine Reihe von fundamentalen algorithmischen Problemen für dynamische Systeme, mit dem übergreifenden Ziel, eine systematische exakte rechnerische Behandlung verschiedener wichtiger Klassen solcher Systeme und anderer fundamentaler Modelle, die in der Mathematik, Informatik und der quantitativen Wissenschaften verwendet werden, anzubieten.
elementarste und deshalb noch ungelöste Problem in der heutigen Mathematik hat nichts mit Geometrie