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

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