scientific article; zbMATH DE number 866017

MaRDI QIDQ4873183zbMATH OpenFDO

Authors Paul C. Kainen

Publication date 13 January 1997

zbMATH Keywords

graph coloringcomputer-assisted proofhistoryfour color theoremmap coloringfour color problemAppel and Haken

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Coloring of graphs and hypergraphs (05C15) Development of contemporary mathematics (01A65)

Recommendations

• scientific article; zbMATH DE number 2076921
• How false is Kempe's proof of the four color theorem? II
• The four-colour theorem
• scientific article; zbMATH DE number 4160756
• scientific article; zbMATH DE number 1529471
• scientific article; zbMATH DE number 57876
• A note on the four color theorem

Cited in

(9)

• scientific article; zbMATH DE number 1564003 (Why is no real title available?)
• Some arithmetical restatements of the four color conjecture
• scientific article; zbMATH DE number 4095493 (Why is no real title available?)
• Four color theorem from three points of view
• A note on the four color theorem
• Toward a language theoretic proof of the four color theorem
• Formal proof - the four color theorem
• Four colors do not suffice
• The complexity of the four colour theorem

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4873183)