自动证明相关论文
随着Internet的日益发展与普及,电子信息交换已成为现代经济生活的主要形式之一,它是在任意两个互不信任的主体之间以一种公平的方......
尝试利用吴方法的定理机械化证明来对逻辑推理的有效性进行自动证明。从而也得到命题逻辑推理的一个代数化证明方法。......
本文研究了某些特殊组合恒等式的自动证明算法及某些特殊序列发生函数的自动求解算法.论文的主要内容如下:第一章简要地介绍了组合......
本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助......
给出了相干命题逻辑自然推理系统NR的自动证明算法。首先将待证命题公式A的子公式组成一个初始集合P,对其中的元素采用系统NR的推......
消解算法对命题逻辑定理自动证明是普遍能行的,但现行消解证明只能归属于反证法.本文提出直证式消解原理,从析取范式能否消解出最......
传统的不等式自动证明方法主要依赖于符号计算,一般只能处理代数类型,或可最终转化为代数类型的不等式,而且效率会随着问题中变量......
PI证明是归结证明的一种重要类型,但是在目前所见到的文献中,对PI推理的定义还有一些不妥之处,没有确保PI推理中的每一步归结都是P......
子句集的可满足性判定是自动证明领域的热点之一。提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共......
基于数据挖掘中的聚类分析思想提出一种借助数值测试判断几何图形之间关系 ,以简化定理自动证明中搜索过程的新方法 ,该方法已成功......
阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型......
阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著......
本文讨论了三角函数多项式特别是正切函数多项式的性质,并在此基础上实现了一个三角函数多项式不等式自动证明的完备算法.算法运用......
