Am 22.-27. September 2017 spricht Klaus Mainzer auf der internationalen Herbstakademie „Proof and Computation“ in Herrsching am Ammersee, die er jährlich mit Helmut Schwichtenberg (Institut für Mathematik, LMU München) und Peter Schuster (Institut für Informatik, Universität Verona Italien)…
[weiterlesen]