Computer in der Mathematik: Eine neue Mathematik

Bislang galt: Computer können rechnen, mathematische Beweise bleiben Kopfarbeit. Doch ein neues Verfahren könnte die Lösung großer Probleme revolutionieren.
Quelle: ZEIT ONLINE