An unavoidable set of D-reducible configurations
From MaRDI portal
Publication:3065754
Abstract: We give a new proof of the four-color theorem by exhibiting an unavoidable set of 2822 D-reducible configurations. The existence of such a set had been conjectured by several researchers including Stromquist, Appel and Haken, and Robertson, Sanders, Seymour and Thomas.
Recommendations
Cites work
- scientific article; zbMATH DE number 140087 (Why is no real title available?)
- scientific article; zbMATH DE number 3513805 (Why is no real title available?)
- scientific article; zbMATH DE number 1196612 (Why is no real title available?)
- scientific article; zbMATH DE number 3797779 (Why is no real title available?)
- scientific article; zbMATH DE number 3298600 (Why is no real title available?)
- Another Reducible Edge Configuration
- Every Planar Map is Four Colorable
- Every planar map is four colorable. I: Discharging
- Formal proof - the four color theorem
- The four-color theorem for small maps
- The four-colour theorem
Cited in
(5)
This page was built for publication: An unavoidable set of \(D\)-reducible configurations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3065754)