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

1. Coghetto，罗兰：实向量空间中的交比（2019）
2. Coghetto，罗兰；格拉鲍夫斯基，亚当：塔斯基几何公理。IV：直角（2019）
3. Endou，Noboru：富比尼定理（2019）
4. 高蒂尔，TiBault，Kalasyyk，CeZaLe:在证明辅助图书馆上排列概念（2019）
5. Jaszczak，阿德里安：幂算法的部分正确性（2019）
6. Jaszczak，阿德里安；KONNI OWICZ，阿图尔：阶乘算法的部分正确性（2019）
7. Karol，伊莎贝尔的对象逻辑（2019）
8. 科赫，塞巴斯蒂安：序数的自然加法（2019）
9. 科赫，塞巴斯蒂安：关于超图。第三部分（2019）
10. Kun-ar，On.EJ；波佩斯库，安德列：从高阶逻辑中的局部类型定义到类型集（2019）
11. 波佩斯库，安德列：伊莎贝尔/HOL的一致基础（2019）
12. 李，李明；石，支平；关，Yong；张，钱莹；李，李：HOLL光中几何代数的形式化（2019）
13. Nakasho，KuuHutha：赋范线性空间上的双线性算子（2019）
14. Nakasho，KasuHija：多元线性算子空间的同构（2019）
15. Nakasho，KasuHija：巴拿赫空间上的可逆算子（2019）
16. Nakasho，Kasusia；Shidama，Yasunari：赋范线性空间上多线性算子的连续性（2019）
17. Nakasho，Kasusia；Shidama，Yasunari：隐函数定理。第二部分（2019）
18. Narboux，朱利安；Jai-i ii，Prdult；Fuluriot，贾可：合成几何中的计算机辅助定理证明（2019）
19. Okazaki，Hiroyuki；长尾，Koh ichi；Futa，Yuichi：模幂运算和Euclidean算法的最大步数（2019）
20. Otsuki，Sora；川本，Pauline N.；山崎，Hiroshi：线性偏微分方程的一个简单例子及其分离变量法的解（2019）