摘要
基于数据挖掘中的聚类分析思想提出一种借助数值测试判断几何图形之间关系 ,以简化定理自动证明中搜索过程的新方法 ,该方法已成功地应用于作者参与开发的平面几何教育软件中 ,达到了加速推理引擎的目的。
A new method based on numerical test is presented, which aim is to simplify the search process in automated deduction of geometry theorems. Numerical test based on the idea of cluster analysis, has been successfully applied in a plane geometry CAI software. It noticeably increases the efficiency of reasoning engine.
出处
《计算机应用》
CSCD
北大核心
2002年第10期21-23,共3页
journal of Computer Applications
