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

This paper propose and realize a sustainable geometry automated reasoning platform. The platform consists of six parts which are knowledge base, knowledge editor, information base, reasoning engine, information query window and dynamic geometry drawing system. On the platform, the user can add geometry objects, predicates and rules, and integrated use of different methods.