Towards a brief proof of the Four-Color Theorem without using a computer: theorems to be used for proving the Four-Color Theorem

Koji Ohnishi. Towards a brief proof of the Four-Color Theorem without using a computer: theorems to be used for proving the Four-Color Theorem. Artif. Life Robotics, 14(4):551-556, 2009. [doi]

Abstract

Abstract is missing.