数学机械化
  1. 首页
  2. 数学机械化

列表

数学机械化

数学机械化

《数学机械化》,作者:吴文俊著 出版社:科学出版社 ISBN:7030107640。本书以构造性与算法化的方式研究数学，分为：数学机械化的发展史，强调在古代中国的发展史；求解多项式方程组所依据的基本原理与特征列方法；此方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域的应用。
壹号书单 2003年03月01日
传统文化与数学机械化

传统文化与数学机械化

《传统文化与数学机械化》,作者:傅海伦著 出版社:科学出版社 ISBN:7030113977。本书从传统文化角度探讨中国的数学机械化思想，阐述数学机械化的算法程序、发展过程和应用价值，着重分析了齐鲁文化的特点及其对数学机械化的影响等。
壹号书单 2003年07月01日
数学机械化

数学机械化

《数学机械化》,作者:WU WEN-tSUN（吴文俊）著 出版社:科学出版社 ISBN:7030066863。数学问题的机械化，就是要求在运算或证明过程中，每前进一步之后，都有一个确定的、必须选择的下一步，这样沿着一条有规律的、刻板的道路，一直达到结论。即所谓的机械化就是刻板化和规格化。这一导源于中国古代传统数学，由于计算机的出现而呈现旺盛生命力的数学机械化思想在数学研究上已经发挥出它的
壹号书单 2000年01月01日
吴文俊全集·数学机械化卷V

吴文俊全集·数学机械化卷V

《吴文俊全集·数学机械化卷V》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855547。本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求
壹号书单 2019年05月01日
吴文俊全集·数学机械化卷III

吴文俊全集·数学机械化卷III

《吴文俊全集·数学机械化卷III》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855523。　　本卷收录了吴文俊的《数学机械化》一书。《吴文俊全集·数学机械化卷III》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《吴文俊全集·数学机械化卷III》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。
壹号书单 2019年05月01日
吴文俊全集·数学机械化II

吴文俊全集·数学机械化II

《吴文俊全集·数学机械化II》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855516。本卷收录了吴文俊的Mechanical Theorem Provingin Geometries：Basic Principles一书。《吴文俊全集·数学机械化II》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可
壹号书单 2019年05月01日
吴文俊全集·数学机械化I

吴文俊全集·数学机械化I

《吴文俊全集·数学机械化I》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855509。本卷收录了吴文俊的Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solvin
壹号书单 2019年05月01日
吴文俊全集·数学机械化卷IV

吴文俊全集·数学机械化卷IV

《吴文俊全集·数学机械化卷IV》,作者:吴文俊著;高小山编订 出版社:科学出版社 ISBN:9787508855530。本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化。因此在理论上,这些几何的定理证明可以借肋于计算机来实施。可以机械化的几
壹号书单 2019年05月01日