zbMATH参考文献（参考 18篇文章

1. Ishii，Daisuke；Yabu，Tomohito：四个区间算术运算符的计算机辅助验证（2020年）
2. Bertot，Yves；Rideau，Laurence；Théry，Laurent:（\pi）的遥远小数：计算它们的一些算法的形式证明和精确计算的保证（2018）
3. 让·米歇尔·穆勒；尼古拉斯·布鲁尼；弗洛伦特·迪纳钦；克劳德·皮埃尔·詹诺德；米奥拉·乔尔德；文森特·莱夫尔；纪尧姆·梅尔奎恩；纳撒利·雷沃；谢尔盖·托雷斯：《浮点运算手册》（2018年）
4. Boldo，Sylvie:使用四舍五入到最近值计算正确且严格的舍入误差边界（2017）
5. Magron，Victor；Constantinides，George；Donaldson，Alastair:使用半定规划的认证舍入误差界（2017）
6. Krebbers，Robbert:分离逻辑的正式C内存模型（2016）
7. Martin Dorel，Érik；Melquiond，Guillaume:在Coq中用初等函数证明单变量表达式的紧界（2016）
8. Roux，Pierre：舍入误差界的形式证明。应用于自动肯定性检查（2016）
9. 波尔多，西尔维：愚蠢就是愚蠢：取浮点数平方根的平方根（2015）
10. Sylvie Boldo；Jourdan，Jacques Henri；Leroy，Xavier；Melquiond，Guillaume:浮点计算的验证编译（2015）
11. Jacobsen，Charles；Solovyev，Alexey；Gopalakrishnan，Ganesh:HOL Light中的参数化浮点形式化（2015）
12. Roux，Pierre；Garoche，Pierre Loïc:实际政策迭代。静态分析中政策迭代的实际应用：二次案例（2015）
13. Boldo，Sylvie；Clément，François；Filli–tre，Jean Christophe；Mayero，Michaela；Melquiond，Guillaume；Weis，Pierre：《信任计算：从偏微分方程到实际程序的机械化证明》（2014）
14. Roux，Pierre:基本算术运算的无害双舍入（2014）
15. Sylvie Boldo；Clément，François；Filli–tre，Jean Christophe；Mayero，Michaela；Melquiond，Guillaume；Weis，Pierre：《波动方程数值解决：C程序的综合机械化证明》（2013）
16. Krebbers，Robbert；Spitters，Bas:高效精确实数运算的类型类（2013）
17. Collins，Pieter；Niqui，Milad；Revol，Nathalie:有效实函数演算（2011）
18. Krebbers，Robbert；Spitters，Bas:计算机认证的有效精确实数（2011）