论文部分内容阅读
把吴方法引入几何CAI体系，收集整理某一范畴的所有几何知识（包括对象、关系、定理、问题等），进行详尽的分解归类细化，抽象出几何知识的最小元素，进而完全形式化，建立形式化的几何知识数据结构库，最终实现几何命题关系能够利用代数方程来描述：构造机械化为特色的算法体系，据此形成一种新的通用几何CAI设计方案