摘要：基于计算机计算和形式证明的数学证明综述
作者：Thomas Hales
论文ID：1302.2898
分类：History and Overview
分类简称：math.HO
提交时间：2013-02-13
PDF 下载： 英文版 中文版pdf翻译中