论文标题
四种颜色定理的另一个证明 - 第2部分 - 排放最小的5色平面图
Another Proof of the Four Colour Theorem -- Part 2 -- Discharging a minimal 5-Chromatic Planar Graph
论文作者
论文摘要
在RSST中，他们“取代了A＆H所要求的不可避免的猛mm象手工检查，这是另一个猛mm象的手工检查证明”（第18页）。在这里，不可避免的证据是在冗长的结构化手术证明中实现的，该证明在本文档中提供了整体。
In RSST, they "replace the mammoth hand-checking of unavoidability that A&H required, by another mammoth hand-checkable proof " (page 18). Here, the proof of unavoidability is accomplished in a lengthy structured hand-checkable proof whose entirety is presented in this document.
