数学机械化 - 小书虫-学习资料库-最全资料库

本卷收录了吴文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solvin

叁号仓库 2022年07月18日 0 点赞 0 评论 305 浏览

　　本卷收录了吴文俊的《数学机械化》一书。《吴文俊全集·数学机械化卷III》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《吴文俊全集·数学机械化卷III》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。

叁号仓库 2022年07月18日 0 点赞 0 评论 1294 浏览

数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。即所谓的机械化就是刻板化和规格化。这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的

叁号仓库 2022年07月19日 0 点赞 0 评论 4219 浏览

本书从传统文化角度探讨中国的数学机械化思想，阐述数学机械化的算法程序、发展过程和应用价值，着重分析了齐鲁文化的特点及其对数学机械化的影响等。

叁号仓库 2022年07月20日 0 点赞 0 评论 4246 浏览

本卷收录了吴文俊的Mechanical Theorem Provingin Geometries：Basic Principles一书。《吴文俊全集·数学机械化II》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可

叁号仓库 2022年07月18日 0 点赞 0 评论 4501 浏览

本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求

叁号仓库 2022年07月18日 0 点赞 0 评论 5408 浏览

本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化。因此在理论上,这些几何的定理证明可以借肋于计算机来实施。可以机械化的几

叁号仓库 2022年07月18日 0 点赞 0 评论 6018 浏览

本书以构造性与算法化的方式研究数学，分为：数学机械化的发展史，强调在古代中国的发展史；求解多项式方程组所依据的基本原理与特征列方法；此方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域的应用。

叁号仓库 2022年07月21日 0 点赞 0 评论 8357 浏览

数学机械化

首页

数学机械化