zbMATH中的参考文献（参考文献299篇文章)

1. 卡莱特，雅克；农民，威廉M。；科哈塞，迈克尔；拉贝，弗洛里安：大数学和一个脑屏障：数学知识的四足模型（2021）
2. Färber，迈克尔；卡利斯齐克，塞扎里；城市，约瑟夫：连接表的机器学习指南（2021）
3. 高蒂埃，蒂堡；卡利斯齐克，塞扎里；城市，约瑟夫；库马尔、拉马纳；《学习战术》（Michael Risctoh，2021）
4. 关勇；张静芝；王国辉；李西蒙；史志平；李永东：基于变分微积分的欧拉-拉格朗日方程组的形式化（2021）
5. 马布比，阿西娅；托马斯·西布特·皮诺特：关于（\zeta（3））（2021）非理性的正式证明
6. Abrahamsson，Oskar:高阶逻辑的验证检查器（2020）
7. 巴博萨，哈尼尔；布兰切特，贾斯敏·克里斯蒂安；弗勒里，马蒂亚斯；方丹，帕斯卡：公式处理的可伸缩细粒度证明（2020）
8. 马里奥，卡内罗：元数学零：设计定理证明器（2020）
9. 陈山岩；王国辉；李西蒙；张乾英；史志平；Guan，Yong:基于Rodrigues公式的摄像机姿态估计算法的形式化（2020）
10. 拉希德，阿德南；Hasan，Osman:使用\textsfHOLLight（2020）对4-DOF机器人细胞注射系统进行正式验证
11. 史志平；关勇；李希蒙：复变分析与矩阵理论的形式化（2020）
12. 比森，迈克尔；纳布克斯，朱利安；Wiedijk，Freek:校对欧几里得（2019）
13. 贝拉希，西迪·穆罕默德；马哈茂德，穆罕默德·尤斯里；Tahar，Sofiène:光量子电路的建模和验证框架（2019）
14. 布朗，查德·E。；高蒂埃，蒂堡；卡利斯齐克，塞扎里；萨特克利夫，杰夫；厄本，约瑟夫：格鲁格：一场盛大的统一ATP挑战赛（2019年）
15. 卡莱特，雅克；Farmer，William M.：走向指定符号计算（2019）
16. Färber，迈克尔；Kaliszyk，Cezary:非共通连接表证明（2019）
17. 高蒂埃，蒂堡；Kaliszyk，Cezary:跨校对助理库调整概念（2019）
18. 昆查尔，昂德涅伊；Popescu，Andrei:高阶逻辑中的局部类型定义从类型到集合（2019）
19. 昆查尔，昂德涅伊；波佩斯库，安德烈：伊莎贝尔/霍尔的始终如一的基础（2019）
20. 李，李明；史志平；关勇；张倩颖；李永东：几何代数的形式化（2019）