×

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
PDFBibTeX XMLCite