土工1.1

GEOTHER是Epsilon的一个模块,是王东明在Maple中实现的一个环境,它使用以前用C语言编写的绘图例程和接口,现在用Java编写,用于操作和证明几何定理。在GEOTHER中,定理是通过形式定理(H,C,X)的谓词来指定的,它断言H意味着C,其中H和C是与几何假设和定理结论相对应的一系列谓词,可选的X是用于内部计算的变量列表。规范中包含的信息可能是操作和证明定理所需的全部信息。从规范中,GEOTHER可以自动地以某种最佳方式为每个点分配坐标;将定理的谓词表示转换成英文或中文语句、一阶逻辑公式或代数表达式;用鼠标拖动生成一个代数定理的任意形式,并用鼠标拖动生成一个代数形式的定理;并用鼠标拖动生成若干代数证明文件,和/或PostScript文件,记录定理及其证明。


zbMATH中的参考文献(参考 30篇文章,1标准件)

显示第1到第20个结果,共30个。
按年份排序(引用)
  1. Nikolić,Mladen;Marinković,Vesna;Kovács,Zoltán;Janičić,Predrag:几何的投资组合定理证明和prover运行时预测(2019年)
  2. Davenport,James H.:“不丧失普遍性”是什么意思,我们如何发现它(2017)
  3. Botana,Francisco;Hohenwarter,Markus;Janičić,Predrag;Kovács,Zoltán;Petrović,Ivan;Recio,Tomás;Weitzhofer,Simon:《GeoGebra中的自动定理证明:当前成就》(2015)
  4. Kovács,Zoltán:GeoGebra 5中的关系工具(2015)
  5. 宋丹;王东明;陈晓宇:从扫描和拍摄的图表图像中发现几何定理(2015)
  6. Botana,Francisco;Abánades,Miguel A.:(动态)几何中的自动推导:轨迹计算(2014)
  7. 陈晓宇:几何报表的表示与自动转换(2014)
  8. 王东明;陈晓宇;安文雅;姜磊;宋丹:开放几何知识库(2014)
  9. 《几何对象的知识化:陈东明,2013》
  10. 陈晓宇;黄颖;王东明:几何知识库的设计与实现(2011)
  11. Jean-David的Génevaux;Julien的Narboux;Schreck,Pascal:在Coq中吴的简单方法的形式化(2011)
  12. Ghourabi,Fadoua;Ida,Tetsuo;Kasem,Asem:自动折纸定理证明的证明文件(2011)
  13. 夸雷斯马,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  14. 赵婷;王东明;洪、勋:无约束或有约束三次方程的解公式(2011)
  15. 陈晓宇:电子几何教材:几何教材知识管理系统(2010)
  16. Escribano,Jesús;Botana,Francisco;Abánades,Miguel A.:向动态几何系统添加远程计算能力(2010)ioport公司
  17. Janičić,Predrag:几何结构语言(2010)
  18. Roanes Lozano,Eugenio;van Labeke,Nicolas;Roanes Macías,Eugenio:将3D DGS Calques3D与CAS Maple相连接(2010)
  19. 陈晓宇;王东明:走向电子几何教材(2007)
  20. Janičić,Predrag;Quaresma,Pedro:动态几何系统中规则结构的自动验证(2007)