西尔维·博尔多;凯瑟琳·勒雷;纪尧姆·梅尔金德 Coquelicot:一个用户友好的Coq真实分析库。 (英语) 兹比尔1322.68176 数学。计算。科学。 9,第1期,41-62(2015).MSC公司:68吨15 26-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,数学。计算。科学。9,第1号,41-62(2015;Zbl 1322.68176) 全文: DOI程序 哈尔
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 波动方程数值解:C程序的综合机械化证明。 (英语) Zbl 1267.68208号 J.汽车。推理 50,第4期,423-456(2013).MSC公司:68吨15 35升05 65平方米 65克50 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,J.Autom。推理50,No.4,423--456(2013;Zbl 1267.68208) 全文: DOI程序 arXiv公司 哈尔