西尔维·博尔多;弗朗索瓦·克莱门特;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) 全文: DOI程序 arXiv公司
Jean-Christophe Filliátre 使用它们的一个逻辑。 (英语) Zbl 1381.68266号 Bonacina,Maria Paola(编辑),自动扣款–CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38573-5/pbk)。计算机科学课程讲稿7898。《人工智能课堂讲稿》,1-20(2013)。MSC公司:68吨15 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.-C.Filliátre},莱克特。注释计算。科学。7898,1--20(2013;Zbl 1381.68266) 全文: DOI程序