归档正式证据

伊莎贝尔的正式证据档案(法新社):挖掘正式证据的档案。正式证据档案是一个巨大的计算机检查证据收集使用证据助理伊莎贝尔。我们对归档文件进行深入分析,查看验证开发的各种属性,包括大小、依赖关系和证明样式。这使我们对形式证明的本质有了一些见解。


zbMATH参考文献(158篇文章引用),1标准件)

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

1 2 ... 6 7 8 下一个

  1. Angeliki Koutsouku Argyraki:数学形式化——在实践中;一位数学家与Isabelle/HOL的第一次经验以及开始的原因和方法(2021年)
  2. 阿西娅·马布比;托马斯·西布特·皮诺特:关于(\zeta(3))(2021)非理性的正式证明
  3. Rusu,Vlad;Nowak,David:(Co)《可达逻辑中组合证明的归纳证明系统》(2021)
  4. 巴拉林,克莱门斯:用语言环境探索代数文本的结构(2020)
  5. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  6. Christoph Benzmüller;Fuenmayor,David:Gödel本体论论证变体中正属性、超滤器和模态崩溃的计算机支持分析(2020)
  7. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  8. 比斯平,本杰明;内斯特曼,威斯康星州;彼得斯,基尔斯廷:耦合相似性:前32年(2020年)
  9. Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020)
  10. Eberl,Manuel;Haslbeck,Max W.;Nipkow,Tobias:随机二叉树结构的验证分析(2020)
  11. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  12. Gouëzel,Sébastien;Karlsson,Anders:次加法和乘法遍历定理(2020)
  13. Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020)
  14. Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020)
  15. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  16. Mansky,Susannah;Gunter,Elsa L.:使用回归测试选择算法的智能类的安全性(2020)
  17. Schlichtkrull,Anders;Blanchette,Jasmin;Traytel,Dmitriy;Waldmann,Uwe:形式化Bachmair和Ganzinger的有序解析证明(2020)
  18. Sheng,Feng;Zhu,Hui Biao;He,Jifeng;Yang,Zongyuan;Bowen,Jonathan P:基于UTP的MDESL指称语义的理论与实践研究(2020)
  19. Sternagel,Christian:Higman引理的机械化证明(2020)
  20. Thiemann,René;Bottesch,Ralph;Divasón,Jose;Haslbeck,Max W.;Joosten,Sebastiaan J.C.;Yamada,Akishisa:Isabelle/HOL中LLL基约化算法和LLL因子分解算法的形式化(2020年)

1 2 ... 6 7 8 下一个