几何定理证明器相关硕士博士期刊学术论文 - 搜论网

几何定理证明器相关论文

可由用户持续发展的几何自动推理平台

提出并实现了可由用户持续发展的几何自动推理平台(SGARP).它由知识库、知识编辑器、信息库、推理引擎、信息查询窗口和动态几何作......

期刊

自动推理定理证明器几何定理证明器知识编辑器可持续性前推法面积法中位线定理几何对象知识库

可由用户持续发展的几何自动推理平台的推理算法

目前的几何定理证明器都不具有可持续性。提出一种结构具有一般性的知识表示和能够统一处理所有规则的推理算法,初步实现了可由用......

期刊

几何对象谓词规则几何定理证明器可持续性

看过本文同时还关注