作者：
出版社： 贵州人民出版社
CIP号：2019272662
书号：978-7-221-15723-2
出版地：贵阳
出版时间：2019.12
定价：￥39.0
中学教辅。可持续发展的几何自动推理平台（SGARP）支持用户按需添加或修改几何定理机器证明所涉及的几何对象、谓词、定理和规则，以发展多种多样基于规则的机器自动推理或人机交互推理方法。为进一步提高SGARP的推理能力和扩展其适用范围，提出一种在SGARP中实现符号计算功能的快捷方法，并成功添加了质点法、向量法和解析法推理模块。