本卷收录由法国Hermann&Cie出版社出版的吴文俊的博士论文SurlesClassesCaractéristiquesdesStructuresFibréesSphériques(《论球丛结构的示性类》)与Springer出版的RationalHomotopyTyp
本卷收录了吴文俊的MathematicsMechanization:MechanicalGeometryTheorem-Proving,MechanicalGeometryProblem-SolvingandPolynomialEquations-Solving一书.本书是围绕作者命名的数学机械化这一中心议题而
本书创造性地广泛地运用有向度量法和有向度量定值法,对空间有关问题进行研究,得到了一系列的有关空间有向度量的定值定理,揭示了这些定理与经典数学问题、数学定理和一大批数学竞赛题之间的联系,从而较为系统、深入地阐述了空间有向度量的基本理论、基本思想和基本方法。
Navier-Stokes(N-S)方程是一种典型的非线性方程,其研究对人们认识和控制湍流至关重要.我们主要利用有限元方法求解不可压缩N-S方程,并考虑如下几个方面的问题:较大雷诺数问题、不可压缩条件、非结构化网格、inf-sup条件和非线性问题.本文主要围绕这些问题提出并实现不可压缩流若干高效数值方法.
本书介绍高等数学一题多解,通过300道精选例题,演示多种解题方法和技巧,是作者在近30年教学过程中的积累和总结。书中的例题及其解法主要选自高等数学中的经典习题、国内外大学数学竞赛题、研究生入学考试题及作者多年的教学研究成果,其中有不少是作者编制的新题和给出的新颖解法。
本卷收录了吴文俊的《可剖形在欧氏空间中的实现问题》一书.一个空间嵌入另一空间(例如欧氏空间)是否可能以及这些嵌入所依据的同痕的分类问题,已成为拓扑学中重要的中心问题之一,也是许多拓扑学家从各种不同角度用各种不同方法研究的对象之一.本书是作者从1954年以来在这方面研究工作的一个总结报告,它的方法在于研究空间的去核p重积
本书内容包括:吴文俊的生平、成就与获得的奖励的介绍,陳省身、杨振宁、丘成桐、Jean-PierreBourguignon等76位吴文俊生前同事、学生以及家属的回忆、纪念与缅怀的文章,以及22篇关于吴文俊的新闻报道。这些文章全面介绍了吴文俊先生在拓扑学、数学机械化、中国古代数学史等方向取得的成就,吴文俊先生的学术思想与治
本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械
本卷收录了吴文俊的《几何定理机器证明的基本原理》一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书
本书收载了吴文俊的全部数学史论著,包括作者的第一篇数学史论文《中国古代数学对世界文化的伟大贡献》、被引用频率最高的数学史论文之一《出入相补原理》、在国际数学家大会上的邀请报告等。这些论著一个贯串始终的主题,是关于数学发展的两种主流的观点:以希腊数学为代表的演绎式数学和以中国古代数学为代表的算法式数学;它开启了中国数学史