Four color theorem from three points of view
Yuri Matiyasevich · Illinois Journal of Mathematics · 2016
The Four Color Conjecture, which in 1977 became the Four Color Theorem of Kenneth Appel and Wolfgang Haken, is famous for the number of its reformulations. Three of them found by the author at different time are discussed in this paper.