盖特1.1

EGSION(几何定理证明器)是东明王在Maple的一个环境,它用C语言编写的绘制例程和接口,现在用Java操纵和证明几何定理。在GEOTHER中,通过形式定理(H,C,X)的谓词来指定定理,其中H表示C,其中H和C是与几何假设和定理的结论相对应的谓词的列表或集合,可选X是用于内部计算的变量列表。规范中包含的信息可能是为了操纵和证明定理所需的全部信息。从规范中,GEORT可以以最佳的方式自动分配每个点的坐标,将定理的谓词表示转换成一个英文或中文语句,变成一阶逻辑公式,或代数表达式;绘制定理的一个或几个图表-绘制的图表可以动画和修改鼠标点击和拖动,并保存为PASScript文件;使用五个代数的任何一个证明定理;翻译生成的代数非退化条件为几何/谓词形式;生成HTML,胶乳,和/或PASScript文件记录定理及其证明。


ZBMaX中的参考文献(30篇)1标准条款

显示结果1至20的30。
按年份排序(引文
  1. 尼科利,Mladen;马林科维奇,维斯纳;科瓦卡斯,佐尔塔恩;詹尼亚斯,PrdRoad:组合定理证明和证明器运行时几何预测(2019)
  2. Davenport,James H.:“不失一般性”意味着什么,我们如何检测它(2017)
  3. 弗朗西斯科,Hohenwarter,Markus;贾尼亚依,普拉托,科瓦卡斯,佐尔坦,彼得维奇,伊凡;迪索,汤姆斯;Weitzhofer,西蒙:地理定理中的自动定理证明:当前成就(2015)
  4. Koaas CS,ZOLTAN:GeGeBuffa 5(2015)中的关系工具
  5. 宋,丹;王,东明;陈,Xiaoyu:从图的扫描和拍摄图像中发现几何定理(2015)
  6. 弗朗西斯科,AbnnADes,Miguel A.:(动态)几何中的自动演绎:轨迹计算(2014)
  7. 陈,Xiaoyu:几何陈述的表示与自动转换(2014)
  8. 王,东明;陈,Xiaoyu;安,Wenya;江,雷;宋,丹:OpenGeO:一个开放的几何知识库(2014)
  9. 陈,Xiaoyu;王,东明:几何知识对象的形式化和规范化(2013)
  10. 陈,Xiaoyu;黄,瀛;王,东明:几何知识库的设计与实现(2011)
  11. Jean David、Narboux、朱利安、Schreck、Pascal:COQ(2011)中吴简单方法的形式化
  12. Ghourabi,Fadoua;艾达,Tetsuo;卡塞姆,ASEM:自动折纸定理证明的证明文件(2011)
  13. Quaresma,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  14. 赵,Ting;王,东明;洪,胡恩:无约束或有约束的三次方程的求解公式(2011)
  15. 陈,Xiaoyu:电子几何教科书:几何教科书知识管理系统(2010)
  16. Botana,弗朗西斯科;AbnnADes,Miguel A.:向动态几何系统增加远程计算能力(2010)伊波尔特
  17. Prava:几何构造语言(2010)
  18. Roanes Lozano,尤金尼奥;van Labeke,尼古拉斯;Ranges Maiasas,EuGeIIO:连接3D DGS CalcSc3D和CAS Maple(2010)
  19. 陈,Xiaoyu;王,东明:走向电子几何教科书(2007)
  20. QuaReSMA,QuaReSMA,佩德罗:动态几何系统中正则结构的自动验证(2007)