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.