zbMATH中的参考文献（引用于 293篇

1. 阿西娅·马布比；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
2. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
3. Barbosa，Haniel；Blanchette，Jasmin Christian；Fleury，Mathias；Fontaine，Pascal：配方加工的可缩放细粒度证明（2020年）
4. 马里奥，卡内罗：元数学零：设计定理证明器（2020）
5. 陈山燕；王国辉；李西萌；张倩颖；史志平；关勇：基于罗德里格斯公式的摄像机姿态估计算法的形式化（2020）
6. Rashid，Adnan；Hasan，Osman:使用\textsfHOLLight对高达4自由度的机器人细胞注射系统进行正式验证（2020年）
7. 石志平；关勇；李锡盟：复杂分析与矩阵理论的形式化（2020）
8. 比森，迈克尔；纳布克斯，朱利安；维迪杰克，弗里克：校对欧几里德（2019年）
9. Beillahi，Sidi Mohamed；Mahmoud，Mohamed Yousri；Tahar，Sofiène:光量子电路的建模和验证框架（2019）
10. Brown，Chad E.；Gauthier，Thibault；Kaliszyk，Cezary；Sutcliffe，Geoff；Urban，Josef:GRUNGE:a grand unified ATP challenge（2019年）
11. Carette，Jacques；Farmer，William M.：走向指定符号计算（2019）
12. Färber，Michael；Kaliszyk，Cezary:非共通连接表证明（2019）
13. Gauthier，Thibault；Kaliszyk，Cezary:跨校对助手库调整概念（2019）
14. Kunčar，Ondřej；Popescu，Andrei:高阶逻辑中局部类型定义从类型到集合（2019）
15. 安德烈·埃贡达基金会，2019年
16. 李，李明；石志平；关勇；张，钱英；李永东：几何代数的形式化
17. Magron，Victor；Safey El-Din，Mohab；Schweighofer，Markus：非负一元多项式加权平方和分解算法（2019年）
18. Marić，Filip:最多有6个点的凸多边形的Erdős-Szekeres猜想的快速形式证明（2019）
19. 米勒，戴尔：重温机械化元理论（2019）
20. Müller，Dennis；Rabe，Florian；Sacerdoti Coen，Claudio:作为理论图的Coq库（2019）