电子几何教科书 swMATH ID: 8745 软件作者: 陈晓宇 描述: 电子几何教科书:一个几何教科书知识管理系统。电子几何教科书是一个管理几何教科书知识的知识管理系统,使用户能够交互式高效地构建和共享动态几何教科书。基于组织和存储以特定语言表示的知识的知识库,系统实现了用于维护表示该知识的数据以及这些数据之间的关系的接口,用于自动生成可读文档以供查看或打印,以及自动发现知识数据之间的关系。开发了一个界面,供用户创建几何教科书,并实时自动检查每个生成教科书的结构一致性。通过集成外部几何定理证明器和外部动态几何软件包,该系统为自动证明定理和在创建的教科书中生成动态图形提供了便利。本文全面介绍了当前版本的电子几何教材。 主页: http://dl.acm.org/citation.cfm?id=1894510 相关软件: Intergeo公司;GCLC公司;GeoGebra公司;三峡工程;地质厚度;GCL校准仪;GEX公司;地理证明;灰姑娘;地理1.1;动态数学;关贸总协定;日本国债交易所;Opengeo公司;ArgoCLP公司;arXMLiv公司;数学Dox;OpenGeoProver(OpenGeoProvider);WGL公司;自动化 引用于: 7文件 全部的 前5名6位作者引用 4 陈晓宇 2 佩德罗·夸雷斯马 2 王东明 1 克里斯托夫·兰格 1 李伟 1 罗杰 3篇连载文章中引用 三 计算机科学中的数学 1 系统科学与复杂性杂志 1 语义网研究 在3个字段中引用 7 计算机科学(68至XX) 三 几何图形(51至XX) 1 数学教育(97-XX) 按年份列出的引文