大地测量学

GEOTHMS——欧几里得构造几何GEOTHMS的Web系统是一个基于Web的框架,用于探索集成动态几何软件(DGS)、自动定理证明器(ATP)和几何构造、图形和证明库的几何知识。GeoThms用户可以很容易地使用/浏览现有的几何内容,并建立新的内容。在本文中,我们描述GethHMS功能,侧重于所需的接口解决方案的系统,旨在支持研究和教学几何通过互联网。GEOTHMS是一个公共可访问系统,具有不断增长的几何构造和正式证明的几何定理。我们相信,在所有用户的帮助下,它将成为一个重要的几何网络资源。


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

显示结果1至20的23。
按年份排序(引文
  1. 尼科利,Mladen;马林科维奇,维斯纳;科瓦卡斯,佐尔塔恩;詹尼亚斯,PrdRoad:组合定理证明和证明器运行时几何预测(2019)
  2. Quaresma,佩德罗:走向智能与动态几何书(2017)
  3. 弗朗西斯科,Hohenwarter,Markus;贾尼亚依,普拉托,科瓦卡斯,佐尔坦,彼得维奇,伊凡;迪索,汤姆斯;Weitzhofer,西蒙:地理定理中的自动定理证明:当前成就(2015)
  4. 陈,小愚;宋,丹;王,东明:从图像自动生成几何定理(2015)
  5. Koaas CS,ZOLTAN:GeGeBuffa 5(2015)中的关系工具
  6. Quaresma,佩德罗;Baeta,Nuno:I2GATP通用格式的现状(2015)
  7. 陈,Xiaoyu:几何陈述的表示与自动转换(2014)
  8. 哈拉兰波斯,YANIS;QuaReSMA,佩德罗:使用受控语言、本体图和依赖格查询几何图形(2014)
  9. 陈,Xiaoyu;王,东明:几何知识对象的形式化和规范化(2013)
  10. 珍妮,朱利安,QuaReSMA,佩德罗:面积法。重演(2012)
  11. 江,Jianguo;张,景中:几何定理可读机器证明的回顾与展望(2012)
  12. Pham,Tuan Minh;贝托特,YVES:动态几何软件与交互式形式证明证明助手的组合(2012)
  13. Billich,马丁:平面几何中的计算机证明(2011)
  14. 陈,Xiaoyu;黄,瀛;王,东明:几何知识库的设计与实现(2011)
  15. Jean David、Narboux、朱利安、Schreck、Pascal:COQ(2011)中吴简单方法的形式化
  16. Quaresma,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  17. Prava:几何构造语言(2010)
  18. 博温,Jonathan M.(ED),罗查,EugéNio M.(ED);罗德里格斯,约瑟夫弗朗西斯科(ED):在数字时代传播数学(CMDE 2006)。在会议上发表的论文(CMDE 2006),阿威罗,葡萄牙,8月15日- 18, 2006。(2008)
  19. QuaReSMA,QuaReSMA,佩德罗:动态几何系统中正则结构的自动验证(2007)
  20. Quaresma,佩德罗;Jai-i ii,PrdTrace: GeththMS——欧几里得构造几何学的Web系统(2007)