ZBMaX中的参考文献（10篇）1标准条款）

1. Narboux，朱利安；Jai-i ii，Prdult；Fuluriot，贾可：合成几何中的计算机辅助定理证明（2019）
2. 尼科利，Mladen；马林科维奇，维斯纳；科瓦卡斯，佐尔塔恩；詹尼亚斯，PrdRoad：组合定理证明和证明器运行时几何预测（2019）
3. 斯塔亚诺维奇-乌尔埃维，Sana：从非正式到正式证明在Euclidean几何（2019）
4. Quaresma，佩德罗：走向智能与动态几何书（2017）
5. Dyckhoff，罗伊：邀请谈话：一阶逻辑的连贯性（2015）
6. Dyckhoff，罗伊；NeGri，萨拉：一阶逻辑的几何化（2015）
7. 马林科维奇，维斯纳；詹尼基，PrTrad；Schreck，Pascal：几何构造问题可验证解的计算机定理证明（2015）
8. Stojavoi[Ur.Evi]，Sana；Naboux，朱利安；Jai-i ii，PrdRug：机器可验证和可读证明的自动生成：塔斯基几何的一个实例（2015）
9. 斯多亚诺维奇，Sana；纳布斯，朱利安；贝泽姆，贾景晖；詹尼埃尔，普拉特拉德：一个连贯逻辑的白话文（2014）
10. Sana的StojavoVi；PavLogVi，VESNA；JANI I i，PrdTrace:一种基于逻辑的几何定理证明器，能够产生正式的和可读的证明（2011）