Çizgeler ve AğlarMaps

Dört renk teoremi bilgisayar yardımıyla kanıtlanmış ilk ünlü matematiksel teorem, o günden bu güne kanıtlarda bilgisayar kullanmak çok daha yaygınlaştı ve daha az tepki görmeye başladı. Hızlı bilgisayarlar ve etkin algoritmalar sayesinde bugün dört renk teoremini kendi bilgisayarınızda bir kaç saatte kanıtlayabilirsiniz.