杰里米·阿维加德(编辑);阿西亚·马布比(编辑) 前言:2018年交互式定理证明扩展论文选集。 (英语) Zbl 1468.68004号 J.汽车。推理 64,第5期,793-794(2020).MSC公司:68-06 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}(编辑)和textit{A.Mahboubi}(主编),J.Autom。推理64,No.5,793--794(2020;Zbl 1468.68004) 全文: 内政部
杰里米·阿维加德(编辑);贾斯敏·克里斯蒂安·布兰切特(编辑);格温·克莱恩(编辑);劳伦斯·鲍尔森(编辑);安德烈·波佩斯库(编辑);偷偷摸摸,Gregor(编辑) 介绍“交互式定理证明中的里程碑”。 (英语) Zbl 1398.00118号 J.汽车。推理 61号1-4、1-8(2018).MSC公司:00B30型 68-06 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}(编辑)等人,J.Autom。推理61,No.1--4,1--8(2018;Zbl 1398.00118) 全文: 内政部 链接
杰里米·阿维加德;约翰·Hölzl;卢克·塞拉芬 中心极限定理的正式验证证明。 (英语) Zbl 1425.68369号 J.汽车。推理 59,第4号,389-423(2017).MSC公司:68吨15 60F05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}等人,J.Autom。推理59,No.4,389--423(2017;Zbl 1425.68369) 全文: 内政部 arXiv公司
杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 真实不等式的启发式证明。 (英语) Zbl 1356.68174号 J.汽车。推理 56,第3期,367-386(2016).MSC公司:68吨15 2007年10月26日 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}等人,J.Autom。推理56,No.3,367--386(2016;Zbl 1356.68174) 全文: 内政部 arXiv公司 链接
杰里米·阿维加德;凯文·唐纳利 线性“大O”方程的判定过程。 (英语) Zbl 1122.03004号 J.汽车。推理 38,第4期,353-373(2007).MSC公司:03B25号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad}和\textit{K.Donnelly},J.Autom。推理38,No.4,353--373(2007;Zbl 1122.03004) 全文: 内政部 arXiv公司