西尔维·博尔多;弗朗索瓦Clément;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公司
西尔维·博尔多;弗朗索瓦Clément;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔昆德;皮埃尔·韦斯 波动方程解方案的形式证明：方法误差。 （英语） Zbl 1291.68329号 Kaufmann，Matt（编辑）等人，《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14051-8/pbk）。计算机科学课堂讲稿6172147-162（2010）。MSC公司：第68页第15页 35升05 6500万06 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人，Lect。注释计算。科学。6172147-162（2010年；Zbl 1291.68329） 全文： 内政部 arXiv公司