伊莎贝尔/霍尔

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


zbMATH中的参考文献(引用于,2标准条款)

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

1 2 ... 47 48 49 下一个

  1. Angeliki Koutsouku Argyraki:数学形式化——在实践中;一位数学家与Isabelle/HOL的第一次经验以及开始的原因和方法(2021年)
  2. 阿西娅·马布比;托马斯·西布特·皮诺特:关于(\zeta(3))(2021)非理性的正式证明
  3. Reed Oei,Dun Ma,Christian Schulz,Philipp Hieronymi:Pecan:使用Büchi自动机的自动序列定理证明器(2021)阿尔十四
  4. Abrahamsson,Oskar:高阶逻辑的验证检查器(2020)
  5. Abrahamsson,Oskar;Ho,Son;Kanabar,Hrutvik;Kumar,Ramana;Myreen,Magnus O.;Norrish,Michael;Tan,Yong Kiam:从单体霍尔函数合成CakeML的制样(2020年)
  6. 巴拉林,克莱门斯:用语言环境探索代数文本的结构(2020)
  7. Barbosa,Haniel;Blanchette,Jasmin Christian;Fleury,Mathias;Fontaine,Pascal:配方加工的可缩放细粒度证明(2020年)
  8. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  9. Christoph Benzmüller;Fuenmayor,David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析(2020)
  10. Benzmüller,Christoph;Parent,Xavier;van der Torre,Leendert:为伦理和法律推理设计规范性理论:\textslogickyframework,methodology,and tool support(2020年)
  11. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  12. Rudolf Berghammer;Furusawa,Hitoshi;Guttmann,Walter;Höfner,Peter:路径的关系特征(2020)
  13. 马里奥,卡内罗:元数学零:设计定理证明器(2020)
  14. Walter Carinelli;David Fuenmayor:Gödel不完全性定理(2020)
  15. 科盖托,罗兰:克莱恩贝尔特拉米模型。四(2020年)
  16. 科盖托,罗兰:克莱恩贝尔特拉米模型。三(2020年)
  17. Cristiá,Maximiliano;Rossi,Gianfranco:求解有限集和二元关系上的无量词一阶约束(2020)
  18. Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020)
  19. Dolu,Nazlı;Hastürk,Umur;Nature,Mustafa Kemal:考虑最近欧几里得距离的地区客户的最小-最大设施位置问题的解决方法(2020年)
  20. Eberl,Manuel;Haslbeck,Max W.;Nipkow,Tobias:随机二叉树结构的验证分析(2020)

1 2 ... 47 48 49 下一个