Grafikoni i mrežeMaps

Teorema s četiri boje prva je poznata matematička teorema dokazana pomoću računala, što je od tada postalo mnogo češći i manje kontroverzni. Brži kompjuteri i učinkovitiji algoritam znače da danas možete dokazati teoremu o četiri boje na prijenosnom računalu u samo nekoliko sati.

Postmark for the Department of Mathematics at the University of
Illinois Urbana-Champaign, where Haken and Appel worked.