zbMATH中的参考文献（引用于 455篇文章，4标准条款)

1. Brown，Chad E.；Pąk，Karol:AIM循环和AIM猜想（2020）
2. Futa，Yuichi；Okazaki，Hiroyuki；Shidama，Yasunari：仿射坐标下椭圆曲线上点的运算（2020）
3. Grabowski，Adam：粗包含函数的形式化发展（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. 石志平；关勇；李锡盟：复杂分析与矩阵理论的形式化（2020）
11. Brown，Chad E.；Pąk，卡罗尔：两套理论的故事（2019）
12. 有限域的分类（MichaelLun，2019；有限域分类）
13. Chvalovský，Karel；Jakubův，Jan；Suda，Martin；Urban，Josef:ENIGMA-NG:高效神经和梯度增强推理指导（\mathrmE）（2019）
14. Coghetto，Roland:实向量空间中的交叉比（2019）
15. 考格托，罗兰；格拉博夫斯基，亚当：塔斯基几何公理。四： 直角（2019）
16. 恩杜，诺博鲁：福比尼定理（2019）
17. Gauthier，Thibault；Kaliszyk，Cezary:跨校对助手库调整概念（2019）
18. 贾斯扎克，阿德里安：幂算法的部分正确性（2019）
19. Jaszczak，Adrian；Korniłowicz，Artur:阶乘算法的部分正确性（2019）
20. Kaliszyk，Cezary；Pąk，Karol:Mizar作为Isabelle对象逻辑的语义（2019）