Kochol, Martin Linear algebraic approach to an edge-coloring result. (English) Zbl 1302.05055 J. Comb. Optim. 28, No. 2, 341-347 (2014). MSC: 05C15 05C10 05C50 PDF BibTeX XML Cite \textit{M. Kochol}, J. Comb. Optim. 28, No. 2, 341--347 (2014; Zbl 1302.05055) Full Text: DOI
Gonthier, Georges Formal proof - the four color theorem. (English) Zbl 1195.05026 Notices Am. Math. Soc. 55, No. 11, 1382-1393 (2008). Reviewer: Solomon Marcus (Bucureşti) (MR 2009j:05079) MSC: 05C15 68T15 PDF BibTeX XML Cite \textit{G. Gonthier}, Notices Am. Math. Soc. 55, No. 11, 1382--1393 (2008; Zbl 1195.05026) Full Text: Link