×

zbMATH — the first resource for mathematics

Un nouveau type de preuve mathématique: II. Le théorème des quatre couleurs. (French) Zbl 0455.05031
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
PDF BibTeX XML Cite