zbMATH中的参考文献（参考，1标准件)

1. Quaresma，Pedro；Santos，Vanda；Graziani，Pierluigi；Baeta，Nuno：几何问题的分类（2020年）
2. Quaresma，Pedro：走向智能和动态几何书籍（2017）
3. 松崎、Takuya、Iwane、Hidenao、Kobayashi、Munehiro、Zhan、益阳、Fukasaku、Ryoya、Kudo、Jumma、Anai、Hirokazu、Arai、Noriko H.：与青少年赛跑——大学前问题的机械化数学标杆（2016）
4. 陈晓宇；宋丹；王东明：从图形图像自动生成几何定理（2015）
5. 夸雷斯马，佩德罗；巴埃塔，努诺：I2GATP通用格式的现状（2015）
6. 陈晓宇：几何报表的表示与自动转换（2014）
7. Haralambous，Yannis；Quaresma，Pedro:使用受控语言查询几何图形，本体论图和依赖格（2014）
8. 王东明；陈晓宇；安文雅；姜磊；宋丹：开放几何知识库（2014）
9. 陈晓宇；王东明：几何知识对象的形式化与规范化（2013）
10. 夸雷斯马，佩德罗：几何定理证明者的数千个几何问题（TGTP）（2011）