广西师范学院学报（自然科学版）
廣西師範學院學報（自然科學版）
엄서사범학원학보（자연과학판）
JOURNAL OF GUANGXI TEACHERS EDUCATION UNIVERSITY(NATURAL SCIENCE EDITION)
2014年
2期
33-36
,共4页
张传军%郑焕%邹宇
張傳軍%鄭煥%鄒宇
장전군%정환%추우
可持续发展的几何自动推理平台SGARP%全角法%西姆松定理
可持續髮展的幾何自動推理平檯SGARP%全角法%西姆鬆定理
가지속발전적궤하자동추리평태SGARP%전각법%서모송정리
sustainable geometry automated reasoning platform SGARP%full-angle method%Sim-son theorem
在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP测试证明了100个几何定理。
在可持續髮展的幾何自動推理平檯SGARP中，通過添加全角法相關的對象、謂詞和定理，在SGARP中成功實現瞭全角法。添加瞭全角法的SGARP測試證明瞭100箇幾何定理。
재가지속발전적궤하자동추리평태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 .
