zbMATH中的参考文献（参考文献469篇,4标准条款)

1. 布朗，查德·E。；Pąk、 卡罗尔：AIM循环和AIM猜想（2020）
2. 科盖托，罗兰：克莱恩贝尔特拉米模型。四（2020年）
3. 科盖托，罗兰：克莱恩贝尔特拉米模型。三（2020年）
4. 德隆，阿德里安；彼得·柯普克；安东·洛伦岑：解读纳普罗什萨德的数学文本（2020）
5. Endou，Noboru:一维Lebesgue测度的重建（2020）
6. 福田，裕一；冈崎，广裕；Shidama，Yasunari:仿射坐标下椭圆曲线上点的运算（2020）
7. Grabowski，Adam：粗包含函数的形式化发展（2020）
8. 亚当·格拉博夫斯基：论由模糊蕴涵产生的模糊否定（2020）
9. Kahl，Wolfram:教学工具中的计算关系代数证明（2020）
10. 科赫，塞巴斯蒂安：杂项图表预赛（2020年）
11. 科赫，塞巴斯蒂安：关于顶点映射（2020）
12. 科赫，塞巴斯蒂安：关于图映射（2020）
13. 科赫，塞巴斯蒂安：基本简单图（2020）
14. 李，文达；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
15. Naumowicz，Adam:数据集描述：Mizar初等数论的形式化（2020）
16. 亚当：基本数论问题。一（2020年）
17. 施瓦茨韦勒，克里斯托夫：论场（F）与（F[X]）（2020）的交集
18. 施瓦茨韦勒，克里斯托夫：油田扩建和克罗内克的建设（2020年）
19. 史志平；关勇；李希蒙：复变分析与矩阵理论的形式化（2020）
20. 城市，约瑟夫；雅库布ův、 一月：第一个神经推测数据集和实验（2020年）