Der Vier-Farben-Satz: Als Maschinen Mathematiker übertrafen
Ein historischer Blick auf den Vier-Farben-Satz und den frühen Fall computergestützter mathematischer Beweise.
Ein historischer Blick auf den Vier-Farben-Satz und den frühen Fall computergestützter mathematischer Beweise.