Product Details 基本信息 ISBN-13 书号 9787508855530 Author 作者 吴文俊 Format 版本 平装-胶订 Pages Number 页数 252页 Publisher 出版社 科学出版社 Publication Date 出版日期 2019-05-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 本卷收录了吴文俊的《几何定理机器证明的基本原理》一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题.第3章为几何定理证明
¥105.00定价：¥210.00 (5折)
Product Details 基本信息 ISBN-13 书号 9787030285072 Author 作者 吴文俊 Format 版本 精装 Pages Number 页数 304页 Publisher 出版社 科学出版社 Publication Date 出版日期 1978-05-01 Product Dimensions 商品尺寸 B5 Language 语种 其它（含多语） Book Contents 内容简介 一个空间嵌入另一空间（例如欧氏空间）是否可能以及这些嵌入所依据的同痕的分类问题，已成为拓扑学中重要的中心问题之一。也是许多拓扑学家从各种不同角度用各种不同方法研究的对象之一。本书是作者从1954年以来在这方面的研究工作的一个总结报告，它的方法在于研究空间的去核p重积，即将p重积除去对角以后所余的空间，这一概念可追溯到vanKampen早在1932年的一篇重要论文。其次再应用PASmith有关周期变换的理论以获得若干作为Smith特殊群中上类的不变量，它们之为0是
¥105.00定价：¥210.00 (5折)
Product Details 基本信息 ISBN-13 书号 9787508855516 Author 作者 吴文俊 Format 版本 平装-胶订 Pages Number 页数 304页 Publisher 出版社 科学出版社 Publication Date 出版日期 2019-05-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 本卷收录了吴文俊的MechanicalTheoremProvinginGeometries:BasicPrinciples一书.书中论述初等几何机器证明的基本原理,证明了奠基于各种公理系统的各种初等几何,只需相当于乘法交换律的某一公理成立,大都可以机械化.因此在理论上,这些几何的定理证明可以借肋于计算机来实施.可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等.全书共分六章.前两章是关于几何机械化的预备知识,集中介绍了常用几何;后四章致力于几何的机械化问题.第3章为几何定
¥129.00定价：¥258.00 (5折)
Product Details 基本信息 ISBN-13 书号 9787508855523 Author 作者 吴文俊 Format 版本 平装-胶订 Pages Number 页数 400页 Publisher 出版社 科学出版社 Publication Date 出版日期 2018-05-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 本卷收录了吴文俊的《数学机械化》一书.本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述.本书试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动.全书分成三个部分：*部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史.*部分给出求解多项式方程组所依据的基本原理与特征列方法.作为这一方法的基础,本书还论述了构造性代数几何中的若干问题.第三部分给出了特征列方法在
¥162.00定价：¥324.00 (5折)
Product Details 基本信息 ISBN-13 书号 9787508855592 Author 作者 吴文俊 Format 版本 精装 Pages Number 页数 349页 Publisher 出版社 科学出版社 Publication Date 出版日期 2019-06-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 本卷收录由法国Hermann Cie出版社出版的吴文俊的博士论文《Surles Classes Caractéristiquesdes Structures Fibrées Sphériques.》（论球丛结构的示性类）与Springer出版的《Rational HomotopyType-AConstructive Studyviathe Theory of the I*-measure》(有理同伦类)。吴的博士论文给出了两类具有特定群结构的纤维丛等价的一个非平凡的必要条件与4维复型到格拉斯曼流形映射的同伦分类。作为应用，证明了4k维球体不存在概复结构。进一步给出4维与6维流形具有概复结构的充分必要条件，并确定了4维流形所有可能的
¥146.00定价：¥292.00 (5折)
Product Details 基本信息 ISBN-13 书号 9787508855493 Author 作者 吴文俊 Format 版本 精装 Pages Number 页数 690页 Publisher 出版社 龙门书局 Publication Date 出版日期 2019-05-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 本卷收录了吴文俊在拓扑学领域发表的56篇学术论文。这些论文包含了吴文俊在示性类、示嵌类、示浸类、示痕类、能计算性与I*-量度等方面做出的一系列重要工作，蕴含了他在拓扑学领域的诸多原始思想。该卷可作为数学或数学史研究人员、教师、研究生的参考文献，也可以作为拓扑学课程的参考书。
¥244.00定价：¥488.00 (5折)
