Mathematics-History

四色定理と計算機数学の革命：100年の難問と機械による証明の哲学