Dört renk teoremi için daha hızlı yeni bir bilgisayar kanıtı geliştirildi
Danimarka, Kanada ve Japonya'dan altı matematikçi ve bilgisayar bilimci, harita renklendirmede dört rengin yeterli olduğunu savunan ünlü dört renk teoremi için yeni bir bilgisayar destekli kanıt…