SGARP中全角法的实现

• 作者: 张传军 邹宇 郑焕
• 来源期刊: 南宁师范大学学报（自然科学版）
• 关键词: 可持续发展的几何自动推理平台SGARP 全角法 西姆松定理
• 年，卷（期）: 2014,（2）
• 页码范围: 33-36
• 页数: 4页
• 分类号: TP181
• 语种: 中文

摘要

在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP测试证明了100个几何定理。