电子几何教材

电子几何教材:几何教科书知识管理系统。电子几何教材是对几何教科书知识进行管理的知识管理系统,使用户能够交互式、高效地构建和共享动态几何教材。在知识库的基础上,自动发现和维护所表示的知识库之间的关系,以及用于自动发现和维护这些知识库中的关系的知识知识数据。开发了一个界面,供用户创建几何教科书,并实时自动检查每个教科书结构的一致性。该系统集成了外部几何定理证明器和外部动态几何软件包,为自动证明定理和生成动态图形提供了方便。这本教科书提供了一个全面的电子版几何学。

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