伊莎贝尔

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

ORMS中也引用了该软件。


zbMATH中的参考文献(引用于,1标准件)

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

1 2 ... 28 29 30 下一个

  1. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  2. 马特·斯特罗曼(Matt-Stroan)第二次功能设置(第二次订购:Matt-Stroan-2020)
  3. 有效证书(2020年,彼得·拉蒙认证)
  4. 亚伯,安德烈亚斯;阿拉斯,纪尧姆;哈米尔,阿里亚;皮恩特卡,布里吉特;莫米利亚诺,阿尔伯托;施卡弗,史蒂文;斯塔克,凯瑟琳:波普尔马克重新加载:逻辑关系的机械化证明(2019年)
  5. 陈兴伦;诺里斯,迈克尔:有限域的分类及其应用(2019)
  6. Andrea Condoluci;Kohlhase,Michael;Müller,Dennis;Rabe,Florian;Sacerdoti Coen,Claudio;Wenzel,Makarius:跨数学库的关系数据(2019年)
  7. de Gouw,Stijn;de Boer,Frank S.;Bubel,Richard;Hähnle,Reiner;Rot,Jurriaan;Steinhöfel,Dominic:验证OpenJDK的泛型集合排序方法(2019年)
  8. Gauthier,Thibault;Kaliszyk,Cezary:跨校对助手库调整概念(2019)
  9. Emmanuel Gunther;Miguel Pagano;Sánchez Terraf,Pedro:实现强迫正规化的第一步(2019年)
  10. 卡利斯兹克,塞扎里(编辑);布拉迪,埃德温(编辑);科哈塞,安德里亚(编辑);萨尔多蒂·科恩,克劳迪奥(编辑):智能计算机数学。第12届国际会议,CICM 2019,捷克共和国布拉格,2019年7月8日至12日。会议记录(2019年)
  11. Kaliszyk,Cezary;Pąk,Karol:Mizar作为Isabelle对象逻辑的语义(2019)
  12. Kunčar,Ondřej;Popescu,Andrei:Isabelle/HOL的一致基础(2019年)
  13. 从2019年到2019年,按类型划分的安德烈·康德(Andreejondkun)到更高的逻辑类型:从Popeju到更高的逻辑类型
  14. Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年)
  15. Libal,Tomer;Volpe,Marco:模态逻辑的一般证明框架(2019)
  16. 李,李明;石志平;关勇;张,钱英;李永东:几何代数的形式化
  17. Lin,Yuhui;Bundy,Alan;Grov,Gudmund;Maclean,Ewen:通过涟漪和校样修补自动化Event-B不变量证明(2019)
  18. Marmsoler,Diego;Gidey,Habtom Kashay:FACTum建筑设计模式的交互验证(2019)
  19. 米勒,戴尔:重温机械化元理论(2019)
  20. Narboux,Julien;Janičić,Predrag;Fleuriot,Jacques:合成几何中的计算机辅助定理证明(2019)

1 2 ... 28 29 30 下一个