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

1. Maletzky，Alexander:基于签名的Gröbner基算法的通用和可执行形式化（2021）
2. 布朗，查德·E。；Pąk，卡罗尔：AIM循环和AIM猜想（2020）
3. 科盖托，罗兰：克莱恩贝尔特拉米模型。四（2020年）
4. 科盖托，罗兰：克莱恩贝尔特拉米模型。三（2020年）
5. 德隆，阿德里安；彼得·柯普克；安东·洛伦岑：解读纳普罗什萨德的数学文本（2020）
6. Endou，Noboru:一维Lebesgue测度的重建（2020）
7. 福田，裕一；冈崎，广裕；Shidama，Yasunari:仿射坐标下椭圆曲线上点的运算（2020）
8. 亚当·格拉博夫斯基：论由模糊蕴涵产生的模糊否定（2020）
9. Grabowski，Adam：粗包含函数的形式化发展（2020）
10. Grabowski，Adam:发展互补的粗糙包含函数（2020）
11. 代数教学工具
12. 科赫，塞巴斯蒂安：关于图形互补（2020）
13. 科赫，塞巴斯蒂安：基本简单图（2020）
14. 科赫，塞巴斯蒂安：杂项图表预赛（2020年）
15. 科赫，塞巴斯蒂安：关于顶点映射（2020）
16. 科赫，塞巴斯蒂安：关于图映射（2020）
17. 李，文达；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
18. 亚当：基本数论问题。一（2020年）
19. Naumowicz，Adam:数据集描述：Mizar初等数论的形式化（2020）
20. 施瓦茨韦勒，克里斯托夫：论场（F）与（F[X]）（2020）的交集