东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

SGARP中全角法的实现

ISSN号：1002-8743
期刊名称：广西师范学院学报(自然科学版)
时间：2014.6.25
页码：33-36
分类：TP181[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
作者机构：[1]贵州省教育科学院,贵州贵阳550001, [2]广州大学计算机科学与教育软件学院,广东广州510006
相关基金：国家自然科学基金联合基金（U1201252）;国家自然科学基金（11326212）;广州市教育局科技项目（2012A019）;贵州省教育科学规划重点项目（2013A068）
相关项目：可构图几何定理向量法可读机器证明的完全性新算法

关键词：可持续发展的几何自动推理平台SGARP, 全角法, 西姆松定理, sustainable geometry automated reasoning platform SGARP, full-angle method, Simson theorem

中文摘要：

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

英文摘要：

Through adding geometry objects ,predicates and theorems related to the full-angle method to the sustainable geometry automated reasoning platform SGARP ,the full-angle method can be realized in SGARP .One hundred geometry theorems have been tested in the SGARP added full-an-gle method .

同期刊论文项目