西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 可信计算:从偏微分方程到实际程序的机械化证明。 (英语) Zbl 1369.35051号 计算。数学。申请。 68,第3期,325-352(2014)。MSC公司:35问题35 6500万06 60年第68季度 65G20个 68吨15 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,计算。数学。申请。68,第3号,325--352(2014;Zbl 1369.35051) 全文: 内政部 arXiv公司
艾亚德·阿尔卡萨;Böhme,萨沙;库尔特·梅尔霍恩;克里斯汀·里兹卡拉 验证验证计算的框架。 (英语) Zbl 1314.68180号 J.汽车。推理 52,第3期,241-273(2014)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Alkassar}等人,J.Autom。推理52,No.3,241--273(2014;Zbl 1314.68180) 全文: 内政部 arXiv公司 链接