地质学的

这个程序是一个交互式几何软件与证明相关的特点。该项目包括制作交互式几何证明软件。地质学可以与COQ证明助手进行通信,实现几何定理的自动和交互式证明。来源HTTP:/FreCooDE.COM/


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

显示结果1至15的15。
按年份排序(引文

  1. Quaresma,佩德罗:走向智能与动态几何书(2017)
  2. 弗朗西斯科,Hohenwarter,Markus;贾尼亚依,普拉托,科瓦卡斯,佐尔坦,彼得维奇,伊凡;迪索,汤姆斯;Weitzhofer,西蒙:地理定理中的自动定理证明:当前成就(2015)
  3. Koaas CS,ZOLTAN:GeGeBuffa 5(2015)中的关系工具
  4. 珍妮,朱利安,QuaReSMA,佩德罗:面积法。重演(2012)
  5. 江,Jianguo;张,景中:几何定理可读机器证明的回顾与展望(2012)
  6. Pham,Tuan Minh;贝托特,YVES:动态几何软件与交互式形式证明证明助手的组合(2012)
  7. Jean David、Narboux、朱利安、Schreck、Pascal:COQ(2011)中吴简单方法的形式化
  8. Ghourabi,Fadoua;艾达,Tetsuo;卡塞姆,ASEM:自动折纸定理证明的证明文件(2011)
  9. Kalasyyk,CeZayy;艾达,Tethoo:形式化折纸的证明辅助决策程序(2011)
  10. Quaresma,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  11. 陈,Xiaoyu:电子几何教科书:几何教科书知识管理系统(2010)
  12. Prava:几何构造语言(2010)
  13. Aspinall,戴维;Autexier,塞尔格;吕斯,克里斯托夫;瓦格纳,贾景晖:走向合并的PLAT(Ω)和PGIP(2009)伊波尔特
  14. Narboux,朱利安:几何形式证明的图形用户界面(2007)
  15. Narboux,朱利安:塔斯基几何中的机械定理证明(2007)