★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝，无需注册直接付费后（（弹出错误页面服务器忙，请稍等再试））不要关闭页面待页面电脑PC自动刷新（手机端需从支付宝页面按手机浏览器左上角返回键回到本页面，再自行手动刷新网页，推荐电脑访问）显示下载链接！不推荐edge等太高级的浏览器下载链接会阻拦，推荐迅雷、IDM等工具！请立刻及时下载（另存为）以免下次访问失效！如果有问题请在页面底部留言反馈（留下你的邮箱，仅限邮件交流，或在文章中更新交代回复）！部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办：点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心？你可以花1元购买美女短视频体验交易流程：点击这里，或者花2元预览资源截图或电子书内页：点击这里
PDF扫描版和图文版的区别，以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择：点击这里

本文链接：
https://www.lifu.me/book-00064-11.html

文件大小：105.78 MB 吴文俊全集-拓扑学卷 Ⅱ

下载地址：

吴文俊全集·拓扑学卷II 科学出版社 9787508855585
作者:吴文俊出版社:科学出版社

开 本：16开
纸 张：胶版纸
包 装：平装
是否套装：否
国际标准书号ISBN：9787508855585
所属分类：
图书>考试>公务员考试>国家公务员考试

吴文俊全集·拓扑学卷II
曾用价 158.00
出版社 科学出版社
版次 1
出版时间 2019年05月
开本 16
著译编者 吴文俊
装帧 圆脊精装
页数 291
字数 393000
ISBN编码 9787508855585

内容介绍

本卷收录了吴文俊的A Theory of Imbedding，Immersion，and Isotopy of Polytopes in a Euclidean Space一书。一个空间嵌入另一空间（例如欧氏空间）是否可能以及这些嵌入所依据的同痕的分类问题，已成为拓扑学中重要的中心问题之一，也是许多拓扑学家从各种不同角度用各种不同方法研究的对象之一。本书是作者从1954年以来在这方面研究工作的一个总结报告，它的方法在于研究空间的去核p重积，即将p重积除去对角以后所余的空间，这一概念可追溯到Van Kampen早在1932年的一篇重要论文。其次再应用P.A.Smith有关周期变换的理论以获得若干作为Smith特殊群中上类的不变量，它们之为0是嵌入的必要条件而在某些情形又同时为充分条件。关于嵌入的许多已知结果以及一些新的结果，虽有着种种不同的来源，都可用这一统一的方法得出。浸入与同痕也可用同样办法处理并得出相应的类似结果。

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-10.html

文件大小：107.33 MB 吴文俊全集-拓扑学卷 Ⅰ

下载地址：

吴文俊全集·拓扑学卷I 科学出版社 9787508855592
出版社直发书籍 100%正版保证
作者:吴文俊出版社:科学出版社

开 本：16开
纸 张：胶版纸
包 装：平装
是否套装：否
国际标准书号ISBN：9787508855592
所属分类：
图书>考试>公务员考试>国家公务员考试

内容介绍

本卷收录由法国Hermann&Cie出版社出版的吴文俊的博士论文Sur les Classes Caractéristiques des Structures Fibrées Sphériques（《论球丛结构的示性类》）与Springer出版的 Rational Homotopy Type——A Constructive Study via the Theory of theI*-Measure（《有理同伦类》）。

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-09.html

文件大小：029.21 MB 吴文俊全集-数学思想卷

下载地址：

吴文俊全集·数学思想卷
作者:吴文俊出版社:龙门书局出版时间:2021年06月

开 本：16开
纸 张：胶版纸
包 装：精装
是否套装：否
国际标准书号ISBN：9787508855554
丛书名：国家出版基金项目吴文俊全集
所属分类：
图书>自然科学>数学>数学理论

内容介绍

本书收载了吴文俊的非专业性文论，包括发表过的通俗文章和在各种场合所作的报告、讲话以及撰写的序言和书评。这些非专业的文论综合反映了吴文俊的数学思想，内容涉及对整个数学的认识、对发展数学的主张以及数学研究的治学之道、创新思路等。通过阅读本书中的文章，读者还可以了解吴文俊的思想情操与人格魅力，了解他为推进中国数学事业的整体发展、提高中国数学的国际地位做出的贡献。

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-08.html

文件大小：067.46 MB 吴文俊全集-数学史卷

下载地址：

吴文俊全集·数学史卷
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2022年06月

开 本：16开
纸 张：胶版纸
包 装：圆脊精装
是否套装：否
国际标准书号ISBN：9787508855561
丛书名：国家出版基金项目吴文俊全集
所属分类：
图书>自然科学>数学>数学理论

内容简介
《吴文俊全集·数学史卷》收载了吴文俊的全部数学史论文, 包括作者的篇数学史论文——《中国古代数学对世界文化的贡献》、被引用频率较高的数学史论文之一—《出入相补原理》, 以及在国际数学家大会上的邀请报告等. 这些论文中一个贯串始终的主题是关于数学发展的两种主流的观点:以希腊数学为代表的演绎式数学和以中国古代数学为代表的算法式数学,它开启了中国数学史研究的新阶段. 这些论文中反复运用的由作者首次概括陈述的“出入相补原理”, 已成为解释中国古代几何中许多疑难问题的一把“金钥匙”. 《吴文俊全集·数学史卷》一系列文章中提炼和阐发的“古证复原原则”, 是对数学史研究方法论的经典贡献. 吴文俊的数学史论文提供了古为今用的典范, 是吴文俊宝贵的科学文化遗产.

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-07.html

文件大小：080.46 MB 吴文俊全集-数学机械化卷 Ⅴ

下载地址：

吴文俊全集(数学机械化卷Ⅴ)(精)
作者:吴文俊|编者:高小山出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855547
所属分类：
图书>自然科学>数学>应用数学

本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。 [1]
图书目录
编辑
播报
1. On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
2. 初等微分几何的机械化证明
3. 初等微分几何的机械化证明
5. Some Remarks on Mechanical Theorem-Proving in Elementary Geometry
6. Some Recent Advances in Mechanical Theorem-Proving of Geometries
7. Basic Principles of Mechanical Theorem Proving in Elementary Geometries
8. A Constructive Theory of Differential Algebraic Geometry Based on Works of J.F.Ritt with Particular Applications to Mechanical Theorem-Proving of Differential Geometries
9. On Zeros of Algebraic Equations||An Application of Ritt Principle

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-03.html

文件大小：059.24 MB 吴文俊全集-数学机械化卷 I=THE COMPLETE WORKS OF WU WEN-TSUN MATHEMATICS MECHANIZATION I

下载地址：

吴文俊全集(数学机械化卷Ⅰ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855509
所属分类：
图书>自然科学>力学

内容简介
本卷收录了吴文俊的Mathematics Mechanization: MechanicalGeometry Theorem-Proving，Mechanical Geometry Problem-Solving andPolynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分： 部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。 第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-04.html

文件大小：109.73 MB 吴文俊全集-数学机械化卷 Ⅱ

下载地址：

吴文俊全集(数学机械化卷Ⅱ)(精)
作者:吴文俊出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：平装-胶订
是否套装：否
国际标准书号ISBN：9787508855516
所属分类：
图书>自然科学>数学>应用数学

内容简介
本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-06.html

文件大小：075.22 MB 吴文俊全集-数学机械化卷 Ⅳ

下载地址：

吴文俊全集·数学机械化卷IV
吴文俊
作者:吴文俊出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：精装
是否套装：否
国际标准书号ISBN：9787508855530
丛书名：国家出版基金项目吴文俊全集
所属分类：
图书>自然科学>数学>数学理论

编辑推荐

数学理论,文集

内容简介

本卷收录了吴文俊的《几何定理机器证明的基本原理》一书。《吴文俊全集·数学机械化卷IV》论述初等几何机器证明的基本原理，证明了奠基于各种公理系统的各种初等几何，只需相当于乘法交换律的某一公理成立，大都可以机械化。因此在理论上，这些几何的定理证明可以借肋于计算机来实施。可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。
《吴文俊全集·数学机械化卷IV》共分六章。前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilbert机械化定理，第4，5章分别为（常用）无序几何的机械化定理和（常用）有序几何的机械化定理，第6章阐述各种几何的机械化定理。
目　　录

目录
第1章 Desargues几何与Desargues数系 1
1.1 常用几何的Hilbert公理系统 1

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-02.html

文件大小：193.62 MB 吴文俊全集-附卷-回忆与纪念

下载地址：

吴文俊全集·附卷-回忆与纪念
作者:李邦河，高小山，李文林出版社:龙门书局出版时间:2019年05月

开 本：16开
纸 张：胶版纸
包 装：精装
是否套装：否
国际标准书号ISBN：9787508855486
丛书名：国家出版基金项目
所属分类：
图书>自然科学>数学>数学理论

内容介绍

本书内容包括吴文俊的生平、成就与获得的奖励的介绍, 陈省身、杨振宁、丘成桐、Jean-Pierre Bourguignon等78位吴文俊生前同事、学生以及家属的回忆、纪念与缅怀的文章, 以及22篇关于吴文俊的新闻报道. 这些文章全面介绍了吴文俊先生在拓扑学、数学机械化、中国古代数学史等方向取得的成就, 吴文俊先生的学术思想与治学态度,以及他的学术影响.

Continue Reading…

本文链接：
https://www.lifu.me/book-00064-05.html

文件大小：039.54 MB 吴文俊全集-数学机械化卷 Ⅲ

下载地址：

吴文俊全集·数学机械化卷III 科学出版社 9787508855523
作者:吴文俊出版社:科学出版社

开 本：16开
纸 张：胶版纸
包 装：平装
是否套装：否
国际标准书号ISBN：9787508855523
所属分类：
图书>考试>公务员考试>国家公务员考试

内容介绍

本卷收录了吴文俊的《数学机械化》一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
全书分成三个部分：**部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

Continue Reading…