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

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

  1. 尼科利,Mladen;马林科维奇,维斯纳;科瓦卡斯,佐尔塔恩;詹尼亚斯,PrdRoad:组合定理证明和证明器运行时几何预测(2019)
  2. Quaresma,佩德罗:走向智能与动态几何书(2017)
  3. Billich,马丁:面积法和证明平面几何定理(2015)
  4. Quaresma,佩德罗;Baeta,Nuno:I2GATP通用格式的现状(2015)
  5. 陈,Xiaoyu:几何陈述的表示与自动转换(2014)
  6. 哈拉兰波斯,YANIS;QuaReSMA,佩德罗:使用受控语言、本体图和依赖格查询几何图形(2014)
  7. 陈,Xiaoyu;王,东明:几何知识对象的形式化和规范化(2013)
  8. 珍妮,朱利安,QuaReSMA,佩德罗:面积法。重演(2012)
  9. 江,Jianguo;张,景中:几何定理可读机器证明的回顾与展望(2012)
  10. Jean David、Narboux、朱利安、Schreck、Pascal:COQ(2011)中吴简单方法的形式化
  11. Quaresma,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  12. Prava:几何构造语言(2010)
  13. QuaReSMA,QuaReSMA,佩德罗:动态几何系统中正则结构的自动验证(2007)
  14. Quaresma,佩德罗;Jai-i ii,PrdTrace: GeththMS——欧几里得构造几何学的Web系统(2007)
  15. Jangii i,PrdGrace:GCLC——一种构造欧氏几何的工具,不止于此(2006)
  16. 佩德罗,系统描述:GCSCExpRe+GeththMS(2006)伊波尔特
  17. Quaresma,佩德罗;Jai-i ii,PrdRoad:集成动态几何软件、演绎系统和定理库(2006)