Abschnittsübersicht

  • Dr. Dennis Müller (FAU Erlangen) will present a talk on 

    • "Bridging the gap between formal and informal mathematics"