zbMATH中的参考文献(引用于,1标准件)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Quaresma,Pedro;Santos,Vanda;Graziani,Pierluigi;Baeta,Nuno:几何问题的分类(2020年)
  2. Quaresma,Pedro:走向智能和动态几何书籍(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. Janičić,Predrag;Narboux,Julien;Quaresma,Pedro:面积法。概述(2012)
  6. 蒋建国;张景忠:几何定理可读机器证明的回顾与展望(2012)
  7. Pham,Tuan Minh;Bertot,Yves:动态几何软件与交互式形式证明助手的结合(2012)
  8. Jean-David的Génevaux;Julien的Narboux;Schreck,Pascal:在Coq中吴的简单方法的形式化(2011)
  9. Ghourabi,Fadoua;Ida,Tetsuo;Kasem,Asem:自动折纸定理证明的证明文件(2011)
  10. Kaliszyk,Cezary;Ida,Tetsuo:折纸形式化的证明辅助决策程序(2011)
  11. 夸雷斯马,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  12. 陈晓宇:电子几何教材:几何教材知识管理系统(2010)
  13. Janičić,Predrag:几何结构语言(2010)
  14. 阿斯皮纳尔,大卫;奥特克西耶,谢尔盖;吕思,克里斯托夫;瓦格纳,马克:走向融合普拉特(\Omega)和PGIP(2009)ioport公司
  15. Narboux,Julien:几何中形式证明的图形用户界面(2007)
  16. Narboux,Julien:Tarski几何中的力学定理证明(2007)