Appel, K. I.; Haken, W. Un nouveau type de preuve mathématique: II. Le théorème des quatre couleurs. (French) Zbl 0455.05031 Publ. Dep. Math., Lyon 16, No. 3-4, 81-88 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 05C15 Coloring of graphs and hypergraphs 05C10 Planar graphs; geometric and topological aspects of graph theory 68Q45 Formal languages and automata 68R10 Graph theory (including graph drawing) in computer science Keywords:four-colour-problem; planar graphs; graph configurations; maps; reducible configurations; discharge procedure × Cite Format Result Cite Review PDF