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

显示第1至18个结果,共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)