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

• 作者: 曾振柄 陈帆
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 数值测试 自动推理 数据挖掘 推理引擎 LISP
• 年，卷（期）: 2002,（10）
• 所属期刊栏目: 研究与设计
• 页码范围: 21-23
• 页数: 3页
• 分类号: TP181
• 字数: 3333字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾振柄	中国科学院成都计算机应用研究所	24	199	9.0	13.0
2	陈帆	中国科学院成都计算机应用研究所	1	1	1.0	1.0