当前位置：学术参考网 > 初等几何机械化证明博士论文
本文围绕数学机械化的吴方法展开了对初等几何机械化证明的探讨和研究,主要内容包括:(1)以Maple和Matlab系统为支撑开发了运用该方法证明定理的软件系统。(2)对大量的定理进行了实验性证明。(3)对采用该方法进行证明时存在的问题进行了研究。
机器证明几何定理吴方法定理证明数学机械化中国古代数学吴文俊Hilbert初等几何定理机器证明收藏本站首页期刊全文库学位论文库会议论文库年鉴全文库学术百科工具书学术不端检测注册|登录|我的账户基础科学|工程科技I辑...
几何定理机器证明系统的开发与研究,吴方法,几何定理,机器证明,特征列。通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。对于每一个定理,其证明的方法都是不同的,一种方法只适用于...
最新博士论文—《基于点几何的几何定理机器证明与自动发现》摘要第1-7页Abstract第7-11页第一章绪论第11-24页1.1研究背景与意义第11-13页
大连理工大学硕士学位论文微分几何曲面上曲线定理的机器证明姓名：王楠申请学位级别：硕士专业：应用数学指导教师：张鸿庆20070620大连理工大学硕E学位论文本文主要讨论微分几何符号计算和初等微分几何的定理机器证明两个方面的问题。
基于Coq的几何学定理的形式化证明特例研究-人工智能是一门研究模拟和延伸人的智能的一门新技术科学[1]。它作为计算机科学的一个分支,旨在了解智能的实质,并生产出一种新的能模拟人类智能的方式进行思考并作出决策行动的智能机器,该领域的...
Grobner基方法与吴方法在几何定理机器证明中的应用与比较平面几何部分.pdf,致谢本文是在导师罗运伦副教授的悉心指导下完成的.三年来，他不仅在学业上合予我精心的指导，引导我的开展数学研究，也在生活上给予我亲切的关怀，以他高尚的人格和朱高的敬业精神影响着我.在此、我谨向他...
王浩与吴文俊的通信：两种定理证明之间为数不多的交流周咸青（ChouShang-ching）1978年在中科院研究生院旁听了吴文俊的几何定理证明的课，那时吴文俊的《几何定理机器证明的基本原理》还没正式出版，但周咸青已拿到书稿。
于不可机械化，提出切实可行的方法，实现机械化，推动数学发展。吴还特别重视数学机械化的应用。他在973项目答辩时说道“应用是数学机械化的生命线。吴自己关于数学机械化的研究也遵循以上想法。吴选择了初等几何定理的机器证明作为突破口。
数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。
【摘要】:机械化证明定理,目前值得注意的是Tarski关于初等几何与初等代数定理的机械证明法。他以及后来一些研究工作者的方法,大都基于Sturm定理的某种推广,这些方法仍极繁复,...
机械化证明定理,目前值得注意的是Tarski关于初等几何与初等代数定理的机械证明法.他以及后来一些研究工作者的方法,大都基于Sturm定理的某种推广,这些方法仍极繁复,因之即使使...
声动70年|吴文俊【初等几何判定问题与机械化证明(节选)】,为纪念和庆祝“两刊”创刊70周年,中国科学党支部举办“声动70年”:纪念“两刊”70周年活动。旨在通过...
一个必须介绍的人物是波兰数学家Tarski,他在1948的一篇经典著作中解决了实闭域的判定问题,其主要目的之一是给出初等几何定理的机械化证明。只是该方法效率颇低,...
一、三角恒等式的机械化证明我们知道,适当选取模型,双曲几何、椭圆几何中的定理证明几乎可以全部化为三角函数与双曲函数的运算。即使在欧氏平面几何中,三角函数的应用有时也...
文档格式:.pdf文档页数:6页文档大小:154.84K文档热度:文档分类:论文--期刊/会议论文文档标签:证明一类机械几何定理初等几何机械化几何定理...
证明初等几何主要一类定理的证明可以机械化,问题分成三个步骤:“第一步,从几何的公理系统出发,引进数系统及坐标系统,使任意几何定理的证明问题成为纯代数问题。第二步,将...
三角恒等式与初等几何定理的机械化证明文档格式:.pdf文档页数:9页文档大小:310.99K文档热度:文档分类:论文--毕业论文文档标签:几何定理定理的...
初等几何判定问题与机械化证明,多项式,不可约,初等几何,判定问题。机械化证明定理,目前值得注意的是Tarski关于初等几何与初等代数定理的机械证明法。他以及后来一些研究工作...
三角恒等式与初等几何定理的机械化证明_数学_自然科学_专业资料。一、三角恒等式的机械化证明我们知道,适当选取模型,双曲几何、椭圆几何中的定理证明几乎可以全...