机器证明相关论文
教育数学关注的是教材中数学内容的优化问题，就是要把数学变容易，从而真正减轻学生的学习负担。基于“熟悉了，简单了，想通了，直观了，就容......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
机器证明主要需要解决三个问题。首先是知识表示,即用何种语言描述问题和定理;其次是知识更新,即给定由旧知识到新知识的规则;最后......
恒等式的机器证明最早出现在1945年Sister Mary Celine Fasenmyer在密歇根大学的博士论文中。接着在1982年,Zeilberger意识到Siste......
随着时代发展变革,计算机技术发展势如破竹,人工智能就是典型例证。机器定理证明是人工智能的重要内容,其起源可追至莱布尼茨时代,......
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。对于每一个定理,其证明的方法都是不同的,一种方法只适用于一个......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
人工智能研究是当前科技发展的前沿方向,夯实人工智能基础理论尤为重要,数学定理机器证明是人工智能基础理论研究的深刻体现.定理......
人工智能是一门研究模拟和延伸人的智能的一门新技术科学[1]。它作为计算机科学的一个分支,旨在了解智能的实质,并生产出一种新的......
质点几何定理机器证明一直以来都是自动推理领域的研究课题,其证明方法和研究成果都具有明显的应用价值。近年来,研究者们依据质点......
文章第１部分以生物学和数学为例,说明在思想方法上科学史和现代科学的交融关系。第２部分以天文学、地学和工程技术为例,说明历史资料......
国际机器证明研究领域的权威人物J.S.穆尔这样评价：“在吴文俊之前，机械化的几何定理证明处于黑暗时期，而吴的工作给整个领域带来光明......
本文基于证明辅助工具Coq,完整实现林群院士和张景中院士等倡导的第三代微积分—没有极限的微积分—理论构架的形式化验证,包括对......
机器证明在科学及工程技术领域有着重要的意义和应用.该论文将着重讨论恒等式及几何定理的机器证明.文中首先探讨了发现恒等式和证......
几何定理机器证明已经成为自动推理领域内的一个研究热点,它具有十分重要的理论意义与实践应用价值。自“吴法”发表以来,研究者又......
本文主要研究了证明超几何恒等式的有限验证法，并给出了所需验证项数较小的估计。 通过验证有限项来证明超几何恒等式这种思想最......
几何定理的机器证明是自动推理领域的热门课题之一,尤其是近些年来,研究者在研究几何定理机器证明方面取得了丰硕的成果。吴文俊先......
目前，随着计算机技术的发展，机器证明已经成为一个非常活跃的研究领域。人们根据机械化方法成功创建了各种机器语言来编写程序，并在计......
当前，随着时代的进步，人们越来越不满足于落后的科学技术，正在研究怎样用高科技来解决一些复杂问题，以便从众多繁复的脑力劳动中解脱出......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
他是数学界泰斗、是院士、是首届国家最高科技奖获得者,是我国最具国际影响的数学家之一.他在拓扑学领域作出了奠基性贡献,他在机......
[摘要]归结原理使用较广，是定理机器证明的理论基础。既可以用来证明一些目标公式和逻辑结论的成立，又可以用来求解应用问题的答案。......
探讨了初等平面几何命题机器证明的Gr(o)bner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实......
期刊
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解......
利用参系数多项式正实根的判别序列,给出了多变元5次对称形式在Rn+上取非负值的显示判定方法.并以此为依据,导出了一个有效的算法,......
1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方......
人工智能研究是当前科技发展的热点和前沿方向,夯实人工智能基础理论尤为重要,数学定理机器证明是人工智能基础理论研究的深刻体现......
人工智能是作为新一轮科技革命和产业变革的重要驱动力,是引领未来的战略性技术,已正式上升为国家战略。而人工智能中一个非常重要......
为实现构造性几何定理机器证明的数值并行法,作者提供了一个证明机,它适用于由所谓"直线程序"构造的语句.......
Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数.历史上,E.Cartan,R.Brauer,H.Weyl,C.Chevalley等......
机器定理证明可以避免人工证明容易出现的低级错误,是人工智能的重要方面,有广泛的应用前景;函数式程序设计的设计思想更加接近于......
基于计算机证明辅助工具Coq,参考“公理化集合论”形式化系统,实现朴素集合论形式化系统,并在此基础上给出有标集族及其交和并的形......
笔者在独立求解二层六角幻方时,结合mathematic5.0,充分利用图形的对称性对输出结果作出合理的分析和判断,大胆地进行猜想和试验,......
期刊
本文简介机器证明的理论与实践.并附一篇关于用模型论方法证明无限地图的四色定理....
近几年来，“计算机辅助教学”已经成为教育改革中一道亮丽的风景线. 利用计算机和网络等现代化信息技术，将计算机的智能画图、快速计......
对用差分代换方法研究三角形不等式进行了新的探讨；给出了锐角三角形几何不等式的一种判定算法和Maple应用程序agl；指出agl程序在验......
从8个方面对三角形不等式判定程序agl2009进行了改进和补充，使改进后的程序能够处理更多类型的不等式；针对传统不等式证明器只对给定......
阐述了定理机器证明中的例证法思想，列举了例证法在高数教学中的实例，分析了例证法在高数教学中的作用及注意点。......
关于定理机器证明的归结原理已应用到人工智能的很多领域,同时提出了各种改进方法.其中,输入归结是一种非常好的推理方法,它对于Ho......
【正】在经纱准备过程中,必须考虑到高弹纱线特殊的物理特性。纱线高达700%的拉伸性能要求在加工过程中尽可能没有任何摩擦点。摩......
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统.在此基础上给出一机器能行算......
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子......
用多项式组主项解耦消元法,将几何定理的假设条件(多项式组PS)化为主系数不含变元的三角型多项式组DTS,可得到定理命题成立的不含......
给出了若干构造半正定多项式的类型和方法，列举了大量问题和例子，并给出了部分解答；提出了解决扩展级递增不等式猜想的一个思路，把多项......
探讨了三元对称分式的平方型分拆,利用待定系数法编写Maple程序fsos实现了分拆,并举例说明了程序在证明不等式中的应用.......
