吴文俊

吴文俊全集·数学史卷

《吴文俊全集·数学史卷》,作者:吴文俊著;李文林编订 出版社:科学出版社 ISBN:9787508855561。《吴文俊全集·数学史卷》收载了吴文俊的全部数学史论文, 包括作者的第一篇数学史论文——《中国古代数学对世界文化的伟大贡献》、被引用频率最高的数学史论文之一—《出入相补原理》, 以及在国际数学家大会上的邀请报告等. 这些论文中一个贯串始终的主题是关于数学发展的两种主流的观点:以希腊

几何定理机器证明的基本原理 : 初等几何部分

《几何定理机器证明的基本原理 : 初等几何部分》,作者:吴文俊著 出版社:科学出版社 ISBN:9787030283771。本书共分六章,前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilben机械化定理,第4、5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理,第6章阐述各种几何的机械化定理。

世界著名科学家传记. 数学家. 3

《世界著名科学家传记. 数学家. 3》,作者:吴文俊主编 出版社:科学出版社 ISBN:7030024583。《世界著名科学家传记·数学家》将分六集出版,收入世界最著名的数学家的传记100余篇.这是第三集.本集收入世界著名数学家如费马、笛卡儿、牛顿、莱布尼茨等的传记20篇.作者在进行深入研究的基础上,对这些科学家的生平、学术活动、主要贡献和代表作,予以全面、具体、准确的记述,并指明参考文

吴文俊全集·拓扑学卷II

《吴文俊全集·拓扑学卷II》,作者:吴文俊著;李邦河编订 出版社:科学出版社 ISBN:9787508855585。本卷收录了吴文俊的A Theory of Imbedding,Immersion,and Isotopy of Polytopes in a Euclidean Space一书。一个空间嵌入另一空间(例如欧氏空间)是否可能以及这些嵌入所依据的同痕的分类问题,已成为拓扑学中重要的中

数学机械化

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