归档正式证据

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


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

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

1 2 ... 6 7 8 下一个

  1. Basin,David A.;Lochbihler,Andreas;Sefidgar,S.Reza:密码:高阶逻辑中基于博弈的证明(2020)
  2. Christoph Benzmüller;Scott,Dana S.:自动化HOL中的自由逻辑,范畴理论的实验应用(2020)
  3. 比斯平,本杰明;内斯特曼,威斯康星州;彼得斯,基尔斯廷:耦合相似性:前32年(2020年)
  4. Jose Divasón;Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Berlekamp-Zassenhaus分解算法的验证实现(2020)
  5. Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020)
  6. Gouëzel,Sébastien;Karlsson,Anders:次加法和乘法遍历定理(2020)
  7. Joosten,Sebastiaan J.C.;Thiemann,René;Yamada,Akihisa:Isabelle/HOL中代数数的验证实现(2020)
  8. Daniel Kirchner;Christoph Benzmüller;Zalta,Edward N.:功能类型理论中的机械化原理逻辑形而上学(2020)
  9. Li,Wenda;Paulson,Lawrence C.:通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根(2020)
  10. Sheng,Feng;Zhu,Hui Biao;He,Jifeng;Yang,Zongyuan;Bowen,Jonathan P:基于UTP的MDESL指称语义的理论与实践研究(2020)
  11. Sternagel,Christian:Higman引理的机械化证明(2020)
  12. 拜耳,乔纳斯;大卫,马可;帕尔,阿比克;斯托克,贝尼迪克:初学者寻求形式化数学:伊莎贝尔可行性研究(2019年)
  13. Alexander Bentkamp;Jasmin Christian Blanchette;Dietrich Klakow:深度学习表现力的正式证明(2019)
  14. Arthur Charguéraud;Pottier,François:使用时间信用验证分离逻辑中union-find实现的正确性和摊余复杂性(2019)
  15. 大卫·富恩马约尔;克里斯托夫·本兹米勒:《计算解释学:自然语言论证逻辑分析的综合方法》(2019)
  16. Immler,Fabian;Traut,Christoph:敖德斯流:变分方程和庞加莱映射的形式化(2019)
  17. 拉米奇,彼得:对命令式霍尔的改进(2019)
  18. Peter Lammich;Lochbihler,Andreas:《高效数据结构的自动优化:两种方法的比较》(2019年)
  19. Lammich,Peter;Sefidgar,S.Reza:形式化网络流算法:Isabelle/HOL的精化方法(2019)
  20. Li,Wenda;Passmore,Grant Olney;Paulson,Lawrence C.:在Isabelle/HOL(2019年)中使用不可信证书确定单变量多项式问题

1 2 ... 6 7 8 下一个