埃里克·马丁·多雷尔;纪尧姆·汉罗;米凯拉·梅耶罗;Laurent Théry 经过正式验证的证书检查器,用于最严格的计算。 (英语) Zbl 1315.68222号 J.汽车。推理 54,第1期,1-29页(2015).MSC公司:第68页第15页 65G99型 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{埃·马丁·多雷尔}等人,J.Autom。推理54,No.1,1--29(2015;Zbl 1315.68222) 全文: 内政部 哈尔
哈里森,J。;Théry,L。 怀疑论者结合HOL和Maple的方法。 (英语) Zbl 0916.68142号 J.汽车。推理 21,第3期,279-294(1998年).MSC公司:第68页第15页 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Harrison}和\textit{L.Théry},J.Autom。推理21,第3号,279--294(1998;Zbl 0916.68142) 全文: 内政部