可由用户持续发展的几何自动推理平台

• 作者: 郑焕
• 来源期刊: 系统科学与数学
• 学科: 工学
• 关键词: 几何定理证明器 可持续性 前推法 面积法
• 年，卷（期）: 2011,（12）
• 页码范围: 1622-1632
• 分类号: TP181
• 字数: 9219字
• 语种: 中文

摘要

提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作图系统等六部分组成.在这个平台上,用户可以添加几何对象、谓词和规则,也可以综合使用多种推理方法进行推理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郑焕	广州大学计算机科学与教育软件学院	13	46	4.0	6.0