几何定理自动证明的一种数值测试辅助算法

摘要

基于数据挖掘中的聚类分析思想提出一种借助数值测试判断几何图形之间关系,以简化定理自动证明中搜索过程的新方法,该方法已成功地应用于作者参与开发的平面几何教育软件中,达到了加速推理引擎的目的.