伊莎贝尔

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

ORMS中也引用了该软件。


zbMATH中的参考文献,1标准件)

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

1 2 ... 29 30 31 下一个

  1. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  2. 马特·斯特罗曼(Matt-Stroan)第二次功能设置(第二次订购:Matt-Stroan-2020)
  3. Lammich,Peter:有效验证(UN)SAT证书检查(2020年)
  4. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿里亚;皮恩特卡,布里吉特;莫米利亚诺,阿尔伯托;施卡弗,史蒂文;斯塔克,凯瑟琳:波普尔马克重新加载:逻辑关系的机械化证明(2019年)
  5. Bottesch,Ralph;Haslbeck,Max W.;Thiemann,René:验证Isabelle/HOL中线性算法的增量理论解算器(2019年)
  6. 陈兴伦;诺里斯,迈克尔:有限域的分类及其应用(2019)
  7. Andrea Condoluci;Kohlhase,Michael;Müller,Dennis;Rabe,Florian;Sacerdoti Coen,Claudio;Wenzel,Makarius:跨数学库的关系数据(2019年)
  8. de Gouw,Stijn;de Boer,Frank S.;Bubel,Richard;Hähnle,Reiner;Rot,Jurriaan;Steinhöfel,Dominic:验证OpenJDK的泛型集合排序方法(2019年)
  9. 埃贝尔,曼纽尔:验证随机社会选择(2019)
  10. Färber,Michael;Kaliszyk,Cezary:非共通连接表证明(2019)
  11. David Fuenmayor;Benzmüller,Christoph:使用表达逻辑组合对复杂自然语言论点的机械化评估(2019)
  12. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  13. Emmanuel Gunther;Miguel Pagano;Sánchez Terraf,Pedro:实现强迫正规化的第一步(2019年)
  14. 伊莎荷·赫尔词典(2019年版)
  15. 卡利斯兹克,塞扎里(编辑);布拉迪,埃德温(编辑);科哈塞,安德里亚(编辑);萨尔多蒂·科恩,克劳迪奥(编辑):智能计算机数学。第12届国际会议,CICM 2019,捷克共和国布拉格,2019年7月8日至12日。会议记录(2019年)
  16. Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  17. Kunčar,Ondřej;Popescu,Andrei:Isabelle/HOL的一致基础(2019年)
  18. Kunčar,Ondřej;Popescu,Andrei:高阶逻辑中局部类型定义从类型到集合(2019)
  19. Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年)
  20. Libal,Tomer;Volpe,Marco:模态逻辑的一般证明框架(2019)

1 2 ... 29 30 31 下一个