zbMATH中的参考文献（参考 453篇文章 参考，4标准条款)

1. Brown，Chad E.；Pąk，Karol:AIM循环和AIM猜想（2020）
2. Futa，Yuichi；Okazaki，Hiroyuki；Shidama，Yasunari：仿射坐标下椭圆曲线上点的运算（2020）
3. Grabowski函数的粗略包含（2020）
4. 科赫，塞巴斯蒂安：关于图映射（2020）
5. 科赫，塞巴斯蒂安：基本简单图（2020）
6. 科赫，塞巴斯蒂安：关于顶点映射（2020）
7. Li，Wenda；Paulson，Lawrence C.：通过Isabelle/HOL的Cauchy指数评估缠绕数和计算复数根（2020）
8. 施瓦茨韦勒，克里斯托夫：论场（F）与（F[X]）（2020）的交集
9. 施瓦茨韦勒，克里斯托夫：油田扩建和克罗内克的建设（2020年）
10. Brown，Chad E.；Pąk，卡罗尔：两套理论的故事（2019）
11. 陈兴伦；诺里斯，迈克尔：有限域的分类及其应用（2019）
12. Chvalovský，Karel；Jakubův，Jan；Suda，Martin；Urban，Josef:ENIGMA-NG:高效神经和梯度增强推理指导（\mathrmE）（2019）
13. Coghetto，Roland:实向量空间中的交叉比（2019）
14. 考格托，罗兰；格拉博夫斯基，亚当：塔斯基几何公理。四： 直角（2019）
15. 恩杜，诺博鲁：福比尼定理（2019）
16. Gauthier，Thibault；Kaliszyk，Cezary:跨校对助手库调整概念（2019）
17. 贾斯扎克，阿德里安：幂算法的部分正确性（2019）
18. Jaszczak，Adrian；Korniłowicz，Artur:阶乘算法的部分正确性（2019）
19. Kaliszyk，Cezary；Pąk，Karol:Mizar作为Isabelle对象逻辑的语义（2019）
20. 科赫，塞巴斯蒂安：关于超图。三（2019年）