Tag: Computer-assisted proof

• The Four Color Theorem: Why Maps Need Four Colors, and the First Proof Written by a ComputerFour colors suffice for every planar map. We prove the six- and five-color theorems from Euler's formula, then ask what the 1976 computer-assisted proof left mathematics with.MathematicsMathematics ColumnsHigh school / generalGraph theoryFour color theoremPlanar graphsGraph coloringComputer-assisted proof~32 min