×
杰里米·阿维加德;凯文·唐纳利;大卫·格雷;保罗·拉夫

素数定理的一个经过正式验证的证明。 （英语） Zbl 1367.68244号

ACM事务处理。计算。日志。 9，第1号，第2条，23页（2007年）.

引用于17文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
03B35型 证明和逻辑操作的机械化
11月41日 底漆

关键词：

素数定理;形式验证

软件：

伊莎贝尔
PDF格式BibTeX公司 XML格式引用
\textit{J.Avigad}等人，《美国医学杂志》。计算。日志。9，第1号，第2条，23页（2007年；Zbl 1367.68244）
全文： 内政部 arXiv公司