詹姆斯·达文波特;比约恩·蓬宁;詹姆斯·梅纳德;哈拉尔德·赫尔夫戈特;Pham Huu Tiep公司;路易斯·克鲁兹·菲利佩 机器辅助校样。 （英语） Zbl 1452.68262号 Sirakov，Boyan（编辑）等人，《国际数学家大会论文集》，ICM 2018，巴西里约热内卢，2018年8月1日至9日。第一卷全体演讲。新泽西州哈肯萨克：世界科学；里约热内卢：巴西马特马提卡社会（SBM）。1085-1110 (2018).MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Davenport}等人，in：2018年国际数学家大会会议记录，ICM 2018，巴西里约热内卢，2018年8月1-9日。第一卷全体演讲。新泽西州哈肯萨克：世界科学；里约热内卢：巴西马特马提卡社会（SBM）。1085--1110（2018；Zbl 1452.68262） 全文： 内政部 链接
詹姆斯·达文波特;比约恩·蓬宁;詹姆斯·梅纳德;哈拉尔德·赫尔夫戈特;Pham Huu Tiep公司;路易斯·克鲁兹·菲利佩 机器辅助证明（ICM 2018小组）。 arXiv:1809.08062 预印本，arXiv:1809.08062[math.HO]（2018）。MSC公司：03-04 11-04 20-04 BibTeX公司 引用 \textit{J.Davenport}等人，“机器辅助证明（ICM 2018小组）”，预印本，arXiv:1809.08062[math.HO]（2018） 全文： arXiv公司 OA许可证