रेखांकन और नेटवर्कMaps

चार रंग प्रमेय एक कंप्यूटर का उपयोग करके सिद्ध किया जाने वाला पहला प्रसिद्ध गणितीय प्रमेय है, ऐसा कुछ जो तब से बहुत अधिक सामान्य और कम विवादित हो गया है। तेज़ कंप्यूटर और अधिक कुशल एल्गोरिदम का मतलब है कि आज आप कुछ घंटों में लैपटॉप पर चार रंग प्रमेय साबित कर सकते हैं।

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