发表服务
本文围绕数学机械化的吴方法展开了对初等几何机械化证明的探讨和研究,主要内容包括:(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项目答辩时说道“应用是数学机械化的生命线。吴自己关于数学机械化的研究也遵循以上想法。吴选择了初等几何定理的机器证明作为突破口。
数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。
本文围绕数学机械化的吴方法展开了对初等几何机械化证明的探讨和研究,主要内容包括:(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项目答辩时说道“应用是数学机械化的生命线。吴自己关于数学机械化的研究也遵循以上想法。吴选择了初等几何定理的机器证明作为突破口。
数学机械化或机器证明方面，从初等几何着手，在计算机上证明了一类高难度的定理，同时也发现了一些新定理，进一步探讨了微分几何的定理证明。提出了利用机器证明与发现几何定理的新方法。
发表服务