伊莎贝尔/霍尔

伊莎贝尔是一个普通的校对助理。它允许数学公式以形式语言表示,并提供在逻辑微积分中证明这些公式的工具。其主要应用是数学证明的形式化,特别是形式化验证,包括证明计算机硬件或软件的正确性以及证明计算机语言和协议的性质。


zbMATH中的参考文献(参考 922篇文章 参考,2标准条款)

显示922的结果1到20。
按年份排序(引文)

1 2 ... 45 46 47 下一个

  1. Abrahamsson,Oskar:高阶逻辑的验证检查器(2020)
  2. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  3. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  4. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  5. Cristiá,Maximiliano;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  6. Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020)
  7. Dolu,Nazlı;Hastürk,Umur;Nature,Mustafa Kemal:考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法(2020年)
  8. Echenim,Mnacho;Guol,Hervé;Peltier,Nicolas:在Isabelle/HOL正式确定欧洲衍生品的Cox-Ross Rubinstein定价(2020年)
  9. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  10. 盖里,洛伦佐;波佩斯库,安德烈:带绑定的语法形式化一般理论:扩展版(2020)
  11. Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020)
  12. Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020)
  13. Lammich,Peter:有效验证(UN)SAT证书检查(2020年)
  14. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  15. 李嘉图,培尼亚:用Dafny证明红黑树(2020)
  16. Roffé,Ariel Jonathan:重构者:一个使用三值逻辑来表示经验科学背景下信息缺失的计算机程序(2020)
  17. 斯特罗贝尔,迈克尔:动态几何中的非标准分析(2020)
  18. Zhang,Xingyuan;Urban,Christian;Wu,Chunhan:优先继承协议被证明是正确的(2020年)
  19. 阿卜杜勒阿齐兹,穆罕默德;保尔森,劳伦斯C.:格林定理的伊莎贝尔/霍尔形式化(2019)
  20. Barbosa,Haniel;Reynolds,Andrew;El Ouraoui,Daniel;Tinelli,Cesare;Barrett,Clark:将SMT求解器扩展到高阶逻辑(2019年)

1 2 ... 45 46 47 下一个