Geometrie und Topologie
Fakultät für Mathematik
Technische Universität München

E9. Computergestütztes Beweisen

images/E9.png
Einige computererzeugte Beweise
Eine nicht-realisierbare Konfiguration