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

1. Quaresma，佩德罗；桑托斯，Vanda；Graziani，皮埃尔路易吉；Baeta，Nuno：几何问题分类（2020）
2. Quaresma，佩德罗：走向智能与动态几何书（2017）
3. 松崎、今间卓也、伊万奈、希多瑙、小林定人、Munehiro、湛、益阳、福卡萨库、Ryoya、库多、丘马、阿奈、Hirokazu、新井、Noriko H.：与青少年抗争——对大学前问题的机械化数学的标杆定位（2016）
4. 陈，小愚；宋，丹；王，东明：从图像自动生成几何定理（2015）
5. Quaresma，佩德罗；Baeta，Nuno：I2GATP通用格式的现状（2015）
6. 陈，Xiaoyu：几何陈述的表示与自动转换（2014）
7. 哈拉兰波斯，YANIS；QuaReSMA，佩德罗：使用受控语言、本体图和依赖格查询几何图形（2014）
8. 王，东明；陈，Xiaoyu；安，Wenya；江，雷；宋，丹：OpenGeO:一个开放的几何知识库（2014）
9. 陈，Xiaoyu；王，东明：几何知识对象的形式化和规范化（2013）
10. Quaresma，佩德罗：几何定理证明者的数千个几何问题（TGTP）（2011）