几何自动推理

作品数:6被引量:26H指数:2
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:张景中高小山罗慧敏邹宇彭翕成更多>>
相关机构:黑龙江大学华中师范大学中国科学院数学与系统科学研究院广州大学更多>>
相关期刊:《模式识别与人工智能》《中国科学院院刊》《计算机学报》《系统科学与数学》更多>>
相关基金:国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-6
视图:
排序:
几何定理机器证明复系数质点法的改进及其应用被引量:2
《计算机学报》2015年第8期1640-1647,共8页李涛 邹宇 张景中 
国家自然科学基金(11001228;11326212);国家"九七三"重点基础研究发展规划项目基金(2011CB302412);国家自然科学基金-广东省联合基金项目(U1201252);广州市属高校科研计划(2012A019)资助
复系数质点法是以几何点的运算为基础而建立起来的一种新的几何定理机器证明方法.它能高效地证明大部分构造型几何命题,但现有的复系数质点法仍不能有效地处理一些非线性构造型几何命题.为此,该文在原有工作的基础上,对原复系数质点法...
关键词:几何自动推理 可读机器证明 构造型几何命题 复系数质点法 CMPP 
几何代数在定理证明中的消元与化简算法被引量:1
《系统科学与数学》2009年第9期1189-1199,共11页曹源昊 李洪波 
国家自然科学基金NSFC(10871195;60821002/F02);国家重点基础性研究基金NKBRSF(2004CB318001)资助项目
在符号计算中,最困难的一个地方是中间计算过程的表达式快速膨胀.基于不变量代数的符号几何计算为解决这个困难提供了可能.比如,利用零几何代数证明欧氏几何定理时,就可以给出很短的证明,甚至是单项式证明.中间的证明过程里有很多地方...
关键词:共形几何代数 零括号代数 几何自动推理 算法 
基于消点法的几何自动推理系统实现被引量:5
《计算机应用》2008年第11期2984-2986,共3页罗慧敏 
为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证...
关键词:几何定理自动证明 自动推理 消点法 可构造性几何命题 构图 
基于等价类推理的几何自动推理网被引量:2
《模式识别与人工智能》2006年第5期617-622,共6页江建国 张景中 
国家973计划资助项目(No.2004CB318000)
为了提高推理引擎的推理效率,将 Rete 算法和等价类推理技术整合到基于规则的几何自动推理系统中,构造一种新的推理引擎,即基于等价类推理的几何自动推理网.采用 Lisp 语言实现该推理引擎,并做了50多个非平凡几何定理的实验,实验结果表...
关键词:RETE算法 冗余推理 等价类推理 几何等价谓词 等词 
几何自动作图方法、软件与应用
《中国科学院院刊》2004年第2期116-116,共1页
关键词:几何自动作图 作图方法 作图软件 几何自动推理 
数学机械化进展综述被引量:16
《数学进展》2001年第5期385-404,共20页高小山 
本文介绍数学机械化理论:构造性代数几何、构造性微分代数几何、构造性实代数几何、方程求解、与几何自动推理的主要进展及其在若干领域的应用.我们还提出了一些待解决的问题.
关键词:构造性数学 代数几何 方程求解 数学机械化理论 几何自动推理 
检索报告 对象比较 聚类工具 使用帮助 返回顶部