ZBMaX中的参考文献（451篇）4篇标准文章）

1. 布朗，Chad E.；P k，Karol：AIM环与目标猜想（2020）
2. Futa，Yuichi；Okazaki，Hiroyuki；Shidama，Yasunari：仿射坐标下椭圆曲线上点的运算（2020）
3. 格拉鲍夫斯基，亚当：粗糙包含函数的形式化发展（2020）
4. 科赫，塞巴斯蒂安：底层简单图（2020）
5. 科赫，塞巴斯蒂安：关于顶点映射（2020）
6. 科赫，塞巴斯蒂安：关于图映射（2020）
7. 李，Wenda；保尔森，Lawrence C.：用柯西指数评价缠绕数和复根数（2020）
8. Schwarzweller、克里斯托夫：场延与Kronecker建构（2020）
9. Schwarzweller，克里斯托夫：场（f）与（f[x]）（2020）的相交
10. 布朗，Chad E.；P·K，Karol：两套理论的故事（2019）
11. Chan，Hing Lun；诺里希，米迦勒：有限域的分类及应用（2019）
12. 查瓦洛夫斯克，卡雷尔；Jauub v，J.；Suda，马丁；城市，约瑟夫：NeigMA-NG：（MaTrMe）的有效神经和梯度增强推理指导（2019）
13. Coghetto，罗兰：实向量空间中的交比（2019）
14. Coghetto，罗兰；格拉鲍夫斯基，亚当：塔斯基几何公理。IV：直角（2019）
15. Endou，Noboru：富比尼定理（2019）
16. 高蒂尔，TiBault，Kalasyyk，CeZaLe:在证明辅助图书馆上排列概念（2019）
17. Jaszczak，阿德里安：幂算法的部分正确性（2019）
18. Jaszczak，阿德里安；KONNI OWICZ，阿图尔：阶乘算法的部分正确性（2019）
19. Karol，伊莎贝尔的对象逻辑（2019）
20. 科赫，塞巴斯蒂安：关于超图。III（2019）