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

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