ZBMaX中的参考文献（52篇）1标准条款）

1. 文策尔，Makulu:与伊莎贝尔/PIDE中的形式数学文献的交互（2019）
2. CZAZKA，KARISZYK，CEZARY：COQ锤：依赖型理论的自动化（2018）
3. Mendes、亚历山德拉、费雷拉、乔安福：《验证手写计算证明（短论文）》（2018）
4. Damanik，戴维（ED）；Gesztesy，弗里茨（ED）；Yuditskii，彼得（ED）：迷你车间：无反射算子：Defft和Simon conjectures。10月22日举行的小型研讨会摘要（28, 2017）（2017）
5. 高蒂尔，蒂博特，卡利斯克，Cezary；城市，约瑟夫：战术鹰爪：用HOL4战术学习理性（2017）
6. 汉森，Helle Hvid；库普克，克莱门斯；Rutten，简：流微分方程：规范格式和解决方法（2017）
7. 克里斯琴、戴维、Brady、埃德温：精心的反思：伊德里斯在伊德里斯中的延伸（2016）
8. Roe，肯尼斯；史米斯，史葛：COQPIE：旨在提高证明开发生产力的IDE。（粗钻石）（2016）
9. Barras，布鲁诺；Tangkk，Carst；TaSee，恩里科：COQ文档的异步处理：从内核到用户界面（2015）
10. 文策尔，Makulu:从伊莎贝尔/ ISAR的角度看交互式定理证明（2015）
11. Heras，J·弥敦；Komendantskaya，Ektina：COQ中的循环证明模式：案例研究（2014）
12. Hupel，拉尔斯：伊莎贝尔中交互式简化器的跟踪与调试（2014）
13. 环，马丁；吕，克里斯托夫：用CeldE（2014）证明协同交互定理
14. 文策尔，MKARIUS：伊莎贝尔/PIDE中的异步用户交互和工具集成（2014）
15. 吕斯，克里斯托夫；环，马丁：伊莎贝尔的网络界面：下一代（2013）
16. TEWS，亨德里克：COQ（2013）中余代数逻辑的形式化消除
17. 阿姆斯壮，阿拉斯代尔；福斯特，西蒙；施特鲁特，格奥尔：基于自动定理证明的依赖型程序设计（2012）
18. GAST，霍格尔：设计证明器接口（2012）伊波尔特
19. Jucovschi，康斯坦丁：MKM语义服务与编辑环境的有效集成（2012）
20. 谭金克，Carst；Guver，赫尔曼；麦金纳，杰姆斯：讲述形式证明（正在进行中的工作）（2012）伊波尔特