电子几何教材

电子几何教材:几何教科书知识管理系统。电子几何教材是对几何教科书知识进行管理的知识管理系统,使用户能够交互式、高效地构建和共享动态几何教材。该系统以知识库为基础,对以特定语言表示的知识进行组织和存储,实现对表示该知识的数据及其相互关系的维护,自动生成可阅读的文档供查看或打印,以及自动发现它们之间的关系的接口知识数据。开发了一个界面,供用户创建几何教科书,并实时自动检查每个教科书结构的一致性。该系统集成了外部几何定理证明器和外部动态几何软件包,为自动证明定理和生成动态图形提供了方便。本文对现行版电子几何教材进行了全面的介绍。

这个软件也是同行评审按日记帐汤姆斯.