zbMATH参考文献（参考 286篇文章 参考）

1. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
2. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
3. 比森，迈克尔；纳布克斯，朱利安；维迪杰克，弗里克：校对欧几里德（2019年）
4. Beillahi，Sidi Mohamed；Mahmoud，Mohamed Yousri；Tahar，Sofiène:光量子电路的建模和验证框架（2019）
5. Brown，Chad E.；Gauthier，Thibault；Kaliszyk，Cezary；Sutcliffe，Geoff；Urban，Josef:GRUNGE:a grand unified ATP challenge（2019年）
6. Carette，Jacques；Farmer，William M.：走向指定符号计算（2019）
7. Färber，Michael；Kaliszyk，Cezary:非共通连接表证明（2019）
8. Gauthier，Thibault；Kaliszyk，Cezary:跨校对助手库调整概念（2019）
9. Kunčar，Ondřej；Popescu，Andrei:高阶逻辑中局部类型定义从类型到集合（2019）
10. Kunčar，Ondřej；Popescu，Andrei：Isabelle/HOL的一致基础（2019年）
11. 李，李明；石志平；关勇；张，钱英；李永东：几何代数的形式化
12. Magron，Victor；Safey El-Din，Mohab；Schweighofer，Markus：非负一元多项式加权平方和分解算法（2019年）
13. Marić，Filip:最多有6个点的凸多边形的Erdős-Szekeres猜想的快速形式证明（2019）
14. 米勒，戴尔：重温机械化元理论（2019）
15. Müller，Dennis；Rabe，Florian；Sacerdoti Coen，Claudio:作为理论图的Coq库（2019）
16. Narboux，Julien；Janičić，Predrag；Fleuriot，Jacques：合成几何中的计算机辅助定理证明（2019）
17. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
18. Daniel Raggi；Aaron Stockdill；Jamnik，Mateja；Garcia Garcia，Grecia；Sutherland，Holly E.A.；Cheng，Peter C.-H.：检查和选择陈述（2019年）
19. 拉希德，阿德南；哈桑，奥斯曼：使用傅立叶变换对连续时间系统的形式分析（2019）
20. Stojanović-Ðurđević，萨那：欧几里德几何中从非正式到正式的证明（2019）