地球物理学

GeoThms——一个用于欧几里德构造几何的web系统GeoThms是一个基于web的探索几何知识的框架,集成了动态几何软件(DGS)、自动定理证明器(ATP)以及几何构造、图形和证明的存储库。GeoThms用户可以轻松地使用/浏览现有的几何内容并构建新的内容。本文描述了GeoThms的功能,重点介绍了一个支持通过internet进行几何学习和教学的系统所需的接口解决方案。GeoThms是一个公共可访问的系统,有越来越多的几何构造和正式证明的几何定理。我们相信,在所有用户的帮助下,它将成为几何的重要互联网资源。


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

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. Selaković,Milica;Marinković,Vesna;Janičić,Predrag:动力学几何中的新动力学:拖动构造的点(2020)
  2. Nikolić,Mladen;Marinković,Vesna;Kovács,Zoltán;Janičić,Predrag:几何的投资组合定理证明和prover运行时预测(2019年)
  3. 2017年《智能几何》,Quaresman出版社
  4. Botana,Francisco;Hohenwarter,Markus;Janičić,Predrag;Kovács,Zoltán;Petrović,Ivan;Recio,Tomás;Weitzhofer,Simon:《GeoGebra中的自动定理证明:当前成就》(2015)
  5. 陈晓宇;宋丹;王东明:从图形图像自动生成几何定理(2015)
  6. Geokovác s公司,2015年
  7. 夸雷斯马,佩德罗;巴埃塔,努诺:I2GATP通用格式的现状(2015)
  8. 陈晓宇:几何报表的表示与自动转换(2014)
  9. Haralambous,Yannis;Quaresma,Pedro:使用受控语言查询几何图形,本体论图和依赖格(2014)
  10. 陈晓宇;王东明:几何知识对象的形式化与规范化(2013)
  11. Janičić,Predrag;Narboux,Julien;Quaresma,Pedro:面积法。概述(2012)
  12. 蒋建国;张景忠:几何定理可读机器证明的回顾与展望(2012)
  13. Pham,Tuan Minh;Bertot,Yves:动态几何软件与交互式形式证明助手的结合(2012)
  14. Billich,Martin:平面几何的计算机证明(2011)
  15. 陈晓宇;黄颖;王东明:几何知识库的设计与实现(2011)
  16. Jean-David的Génevaux;Julien的Narboux;Schreck,Pascal:在Coq中吴的简单方法的形式化(2011)
  17. 夸雷斯马,佩德罗:几何定理证明者的数千个几何问题(TGTP)(2011)
  18. Janičić,Predrag:几何结构语言(2010)
  19. Jonathan M.Borwein(编辑);Rocha,Eugenio M.(编辑);Rodrigues,JoséFrancisco(编辑):数字时代的沟通数学(CMDE 2006)。论文选自2006年8月15日至18日在葡萄牙阿韦罗举行的会议(CMDE2006)上的陈述。(2008年)
  20. Janičić,Predrag;Quaresma,Pedro:动态几何系统中规则结构的自动验证(2007)