scientific article; zbMATH DE number 866017

MaRDI QIDQ4873183zbMATH OpenFDO

Authors Paul C. Kainen

Publication date 13 January 1997

zbMATH Keywords

Appel and Hakencomputer-assisted prooffour color problemfour color theoremgraph coloringhistorymap coloring

Mathematics Subject Classification ID

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

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

(13)

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

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)