归档形式证明

伊莎贝尔的形式证明文件(AFP):挖掘形式证明的档案。正式证明的档案是大量的计算机检查证明使用证明助理伊莎贝尔开发。我们对档案进行深入分析,查看证据开发的各种属性,包括大小、依赖性和证明风格。这给形式证明的性质提供了一些见解。


ZBMaX中的参考文献(137篇)1标准条款

显示结果1至20的137。
按年份排序(引文
  1. 盆地,David A.;Lochbihler,安德烈亚斯;Sefidgar,S. Reza:密码子:高阶逻辑中基于博弈的证明(2020)
  2. 克里斯托夫,史葛,Dana S.:HOL自动化自由逻辑,范畴理论的实验应用(2020)
  3. 迪瓦斯,若泽;乔斯滕,Sebastiaan J. C.;蒂曼,任美;山田,阿希希亚:BelkkAMP Zasehanas分解算法的验证实现(2020)
  4. 福斯特,西蒙;卡瓦尔坎蒂,阿纳河;坎纳姆,塞缪尔;伍德考克,吉姆;泽达,弗兰克:反应设计合同的统一理论(2020)
  5. 苟泽尔,S·巴斯蒂安;卡尔森,安德斯:次加性和乘性遍历定理(2020)
  6. 乔斯滕,Sebastiaan J. C.;蒂曼,任美;山田,阿希希亚:伊莎贝尔/HOL(2020)中代数数的验证实现
  7. 基什内尔,丹尼尔;布兰姆勒,克里斯托夫;Zalta,Edward N.:功能类型理论中机械原理的逻辑形而上学(2020)
  8. 李,Wenda;保尔森,Lawrence C.:用柯西指数评价缠绕数和复根数(2020)
  9. 拜耳,乔纳斯;戴维,马珂;PAL,Abhik;股票,贝内迪克特:初学数学的探索:伊莎贝尔(2019)的可行性研究
  10. Bentkamp,亚力山大;布兰切特,Jasmin Christian;克拉科夫,迪特里希:深度学习表现力的形式证明(2019)
  11. 亚瑟,PoTeice,弗兰Sooi:验证一个联合发现在时间逻辑中的分离逻辑的正确性和摊销复杂性(2019)
  12. 伊默勒、Fabian、特劳特、克里斯托夫:颂歌的流动:变分方程的形式化和PooCaré映射(2019)
  13. Lammich,彼得:对命令HOL的细化(2019)
  14. Lammich,彼得;LoiBiffle,安德烈亚斯:高效的数据结构自动细化:两种方法的比较(2019)
  15. Lammich,彼得;Sefidgar,S. Reza:形式化的网络流算法:伊莎贝尔/HOL(2019)中的一种改进方法
  16. 李,Wenda;PASSMOR,Grant Olney;保尔森,Lawrence C.:在伊莎贝尔/HOL(2019)中使用不可信证书来决定单变量多项式问题
  17. Marmsoler,迭戈;Gidiy,Habtom Kashay:FACTUM中建筑设计模式的交互验证(2019)
  18. M·勒勒,伯恩哈德:地理发现者和时空代数(2019)
  19. 托拜厄斯,布林科普,豪克:摊销复杂性验证(2019)
  20. Sulzmann,马丁;蒂曼,彼得:正则混洗表达式的导数和偏导数(2019)