可读证明相关论文
近30年来，随着人工智能领域中定理机器证明之可读证明方法的突破，基于可读证明技术的计算机辅助教学工具的研制已经成为CAI领域的主......
几何定理机器证明的研究在最近20年来取得了一系列令人瞩目的成果,特别是计算机自动推理可读证明的突破,使几何定理机器证明的研究......
在目前的平面几何教学软件中,没有实现对表达式的推理.本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐......
可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分......
本文以三角函数不等式为研究对象来探讨超越不等式的机器证明问题,运用变量替换和函数的Taylor展开式将目标不等式代数化,然后借助......
给出了相干命题逻辑自然推理系统NR的自动证明算法。首先将待证命题公式A的子公式组成一个初始集合P,对其中的元素采用系统NR的推......
探讨了自动生成命题逻辑系统R的可读证明。采用试探法和自然推理法分别从前推和后推模拟人类思维求证,试探法根据推理规则将待证公......
自动定理证明(Automated Theorem Proving)或者机器定理证明(MechanicalTheorem Proving)是通过计算机实现定理证明.二十世纪五十......
动态几何软件(Dynamic Geometry Software)与普通的作图软件有着本质上的不同。它绘制的几何图形不但精确,而且还具有动态性,这使......
本文提出了相干命题逻辑系统R的一种演绎生成算法——试探法。该算法采用后向推理法，依据推理规则将待证命题逐步分解成子命题并构......
当我们阅读几何书本上的证明的时候,通常需要花费相当的时间和精力来辨识证明文本中的几何元素和几何图形的对应关系。当几何图形......
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生......
几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为......
讨论了一类只含三角函数的三角形几何不等式的自动证明问题。运用代数方法将其有理化,在不新增加根式的条件下将问题转换为一个二......
目前的智能几何软件都使用基于搜索法的定理证明器作为推理引擎，其主要缺点是不能可读地证明涉及到几何量代数运算的几何定理，这极大......
