三峡工程

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