土工织物

GeoText是一个以电子教科书形式出现的智能动态软件系统,允许用户创建、维护和管理平面欧几里德几何中的知识元素。教科书是动态的,因为它的结构和内容可以实时更新,在内容管理和知识处理可以自动化的意义上是智能的。GeoText在结构化和形式化知识库的支持下,集成了几何定理证明器(GEOTHER)和动态图生成器(GeoDraw),并具有与动态数学软件包(GeoGebra)的接口,GeoText能够将结构化的教科书内容呈现为电子教科书(英文或中文),检查表示结构的一致性和教科书内容的冗余和完整性,发现几何知识数据之间的关系,证明几何定理,并在大多数情况下自动生成教科书中配置的动态图。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换


zbMATH参考文献(参考

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

  1. 王东明;陈晓宇;安文雅;姜磊;宋丹:开放几何知识库(2014)
  2. 陈晓宇;王东明:几何知识对象的形式化与规范化(2013)
  3. 陈晓宇;王东明;赵婷:土工文本:智能动态几何教材(2012)ioport公司