机器证明相关论文
教育数学关注的是教材中数学内容的优化问题，就是要把数学变容易，从而真正减轻学生的学习负担。基于“熟悉了，简单了，想通了，直观了，就容......
近年来人工智能发展迅速,已经上升为国家级重大战略,夯实人工智能的基础理论尤为重要。数学定理的机器证明是人工智能基础理论研究......
机器证明主要需要解决三个问题。首先是知识表示,即用何种语言描述问题和定理;其次是知识更新,即给定由旧知识到新知识的规则;最后......
恒等式的机器证明最早出现在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年证明的一个几何不等式,其方......
人工智能研究是当前科技发展的热点和前沿方向,夯实人工智能基础理论尤为重要,数学定理机器证明是人工智能基础理论研究的深刻体现......
