本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括：几何定理机器证明的吴方法，多项式系统符号求解的Ritt-吴特征列方法，构造性微分代数几何理论，不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果。还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。

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

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

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

想到数学，很多人的反应都是“枯燥”“难懂”，眼看着孩子对数学越来越排斥，家长们也越来越焦急。怎样让孩子感受奇妙的数学魅力，愿意主动地学习数学，成了困扰越来越多家长的问题。 数学果真这么“枯燥”“难懂”吗？ 为什么有的孩子能学得兴趣盎然，有的孩子却只能望而生畏？ 要知道，那些课堂上学不到的数学诀窍，老师们不会教的学习方法，才是决定孩子能否学好数学的重点！ 《数学原来超好玩》打破对数学的固有观念，通过孩子喜欢的小故事、小游戏的方式精选汇编了321道烧脑、有趣的数学谜题，寓教于乐，让孩子边玩边学，感受数学的魅力。书中部分谜题还搭配了直观有趣的示意图，帮助孩子在玩转数学的同时，学会形象地思考。 一道道谜题就像一层层游戏关卡，吸引孩子走进奇妙的数学世界，激发数学乐趣，树立学习信心。在游戏中，感受不同于课堂的数学氛围，让孩子爱上动脑！

本书是概率论与数理统计课程教材，根据教育部对本课程的基本要求编写的普通高校教材。考虑到高等教育已经进入大众化阶段，全书始终“以应用为目的不削弱理论学习”为指导思想主要内容有是概率论、数理统计、随机过程每章节后附有习题书末附有参考答案。由具有丰富教学经验的骨干教师编写深入浅出通俗易懂便于自学。’概率论与数理统计’可供普通高校经济类、理工类各专业使用也可供有关工程技术人员参考。

本书被公认为是一套概率论方面的标准经典教科书，供高年级大学生和研究生使用，同时也是概率论和统计学方面研究人员经常使用的参考书。本书把概率论建立在严格的逻辑基础上，理论体系完整。在第4版中增加了距离空间测定、随机游动、布朗运动及不变原理四部分，后两部分尤为精彩。全书除引言外，两卷共分五部分，第1卷包括三部分，涉及概率论的基本概念和数学手段。读者对象：数学及相关专业的研究生。

微分拓扑学有三个主要的研究领域：纤维丛、复流形和微分流形。本书对应用于微分流形和微分映射研究的拓扑学，对其基本思想作了全面的介绍，书中体现了作者的独特简明风格和独立的观点。取材得当，结构清晰，例题精彩，习题丰富，并尽量不使用代数拓扑的方法而是把几何分析内容提炼成一些数值不变量入手。目次：①流域和映射，②函数空间，③横割性，④向量丛和管状邻。⑤映射度、相交数和欧拉示性数，⑥Morse理论，⑦协边理论，⑧合痕，⑨曲面。读者对象：数学及相关专业的研究生。

本书被公认为是一套概率论方面的标准经典教科书，供高年级大学生和研究生使用，同时也是概率论和统计学方面研究人员经常使用的参考书。本书把概率论建立在严格的逻辑基础上，理论体系完整。第2卷包括两部分内容，涉及条件运算及独立随机变量和极限性质的相依性、二阶随机函数、随机分析的基本概念以及鞅、可分解性、随机函数的马尔可夫型等。读者对象：数学及相关专业的研究生。

本书是在1996年第六版《常微分方程》（德文）一书的基础上编写而成的。本书主要介绍了常微分方程的基础理论，内容包括：可积一阶微分方程，微分方程解的存在性，微分方程的初极值问题，边值问题和特征值问题，稳定性与渐进稳定性理论。此外，本书还增加了在一般相关教材中很少涉及但具有一定难度的内容，并对一些复杂基本定理给出了新的证明。阅读本书须具备一定的计算代数、线性代数及泛函分析的基础知识。目次：一阶微分方程，一些可积的例子；一阶微分方程理论；一阶系统，离阶微分方程；线性微分方程；复线性系统；边值问题与特征值问题；稳定性与渐进稳定性。