《泛函分析》是泛函分析入门教材，以Hilbert空间为主线进行讲述。《泛函分析》主要分成两个部分，第一部分有三章，其中，第一章讲Hilbert空间几何结构、正交投影定理、Riesz表示定理等，第二章讲Hilbert空间上有界线性算子与谱的基础知识，第三章专门深入讲紧算子与两择一定理；第二部分也是三章。包括无界算子（闭算子、对称算子、对称算子的自伴延拓等），以及自伴算子谱分解和酉算子谱分解。第一部分是简单的基本内容，可以给数学系本科生或理工科研究生讲。三个学分差不多可以讲完；第二部分是Hilbert空间中深入的内容，可以给数学系研究生讲，也可根据其他有关课程需要选择内容进行教学。在《泛函分析》编写过程中。编者尽可能做到通俗化，注意讲述无穷维空间问题和概念的联系与区别，讲述经典分析方法在这里的作用，以便于读者自学。《泛函分析》可以作为数学系本科生和研究生教材。也可作为其他理工科研究生教材或参考书。

本书是《概率论与数理统计》的教学参考书，主要包括概率论基础、一维随机变量及其分布、二维随机变量及其分布、随机变量的数字特征、大数定律和中心极限定理、数理统计基础、参数估计、假设检验及R语言及其在概率统计中的应用等内容。全书分为两大部分，其中第一大部分为对应教材的课后习题以及总复习题全解；第二大部分为考试试题和试题详解。

《离散数学/高等学校计算机基础教育教材精选》主要介绍了离散数学的基本内容和一些简单应用。全书共分5章，分别介绍命题逻辑、谓词逻辑、集合论、二元关系和图论。该书整体结构清晰，概念清楚，重点突出。为了方便学生理解掌握所学知识，《离散数学/高等学校计算机基础教育教材精选》配有大量习题，分别以判断题、单项选择题、不定项选择题、解答题等形式呈现，题目通俗易懂，做题灵活，方便学生随堂测试。《离散数学/高等学校计算机基础教育教材精选》是江苏省教育科学“十三五”规划研究课题的专项成果。《离散数学/高等学校计算机基础教育教材精选》可以作为本科院校计算机科学与技术、软件工程、医学信息学以及其他理工科专业的教材，也可供喜爱数学的有关人员阅读。

该书是参照“工科类本科数学基础课程教学基本要求”，根据培养应用型创新人才的需要，并结合近年来教学改革实际和教学实践经验，经过大量的教学研究和探索后编写而成的。全书的体系结构和内容安排充分考虑了教学需要，降低了入门门槛，对微积分的基本概念和方法的介绍，力求做到结构合理、浅显易懂、易教易学，同时确保在数学上的正确性。书中着力突出微积分的应用，以帮助学生理解微积分与现实世界的紧密联系。习题的配备既考虑了对数学基本能力的训练，又适当满足部分学生能力提高和知识拓展的需要。为了方便学生学习和使用该书，书中配备了高等数学学习辅导视频供学生根据需要观看，每章还提供了客观自测题，以帮助学生自行检测学习情况。该书分上、下两册出版。上册内容包括预备知识、一元微积分学的基本理论、方法及其应用和微分方程；下册内容包括无穷级数、空间解析几何和多元微积分学的基本理论、方法及其应用。《高等数学（上册）》可作为工科和其他非数学类专业的高等数学（微积分）教材或教学参考书，也可供科技工作者参考。

为了便于按模块和专业选择教学，该书内容分为七个模块：一元函数微分学及其应用、一元函数积分学及其应用、微积分学应用——微分方程，无穷级数、线性代数初步、描述随机问题的方法——概率论、部分刻画整体——数理统计初步和数学实验等。具体包括：变量之间依存关系的数学模型——函数‘数学模型方法概述，变量无限变化的数学模型——极限·连续，函数变化率和增量的估值模型——导数·微分，导数的应用问题——值问题·函数的形态·曲率，微分的逆运算问题——不定积分，求总量的问题——定积分及其应用，含变化率的方程问题——常微分方程，无限多个量的求和问题——无穷级数，行列式，矩阵，线性方程组，偶然中的必然——随机事件与概率，随机现象的函数化——随机变量及其分布，随机变量的数字特征——数学期望和方差，数据分析的基础——数理统计的基本方法，用MATLAB数学软件来认识应用数学。该书以数学的应用为目的，重视学生数学概念的建立、数学基本方法的掌握和数学应用意识和能力的培养。为了实现这个目的，该书体例的处理，既强调数学学习方法的引导，又注重数学课程的育人功能，融入大量数学文化的素材，反映数学的思想、精神和应用。编写的内容阐述清晰，简捷直观，通俗易懂。另外对于学生的数学思维能力培养分两个方面实现：一是能力训练为基础，能力训练分为基础题和应用题两部分。二是数学实验作辅助，利用MATLAB数学软件，加强学生对数学基本知识的理解和应用能力的拓展。《应用数学与数学文化（第二版）》可作为高职高专院校、成人高校和独立学院的专科工科各专业的教材，也可供相关科技人员和数学爱好者参考。

《数学物理方程与特殊函数》共8章，前6章为数学物理方程与特殊函数的经典内容：介绍三类典型的数学物理方程及一些基本概念、分离变量法、行波法与积分变换法等，还探讨了贝塞尔函数、格林函数及勒让德多项式的应用；后2章为工程实践中应用广泛的变分法、解析近似解及数值近似解等内容。《数学物理方程与特殊函数》可作为高等学校工科类各专业的数学物理方程与特殊函数课程教材，也可供相关的理科类专业学生及工程技术人员参考。

本书系高等学校微积分课程辅导教材.全书共9章，内容包括：函数与极限、导数与微分、中值定理·导数应用、不定积分、定积分及其应用、多元函数微分法及其应用、重积分、微分方程与差分方程、无穷级数.各章均由基本要求、内容提要、疑难解析、例题精讲和综合练习等几部分组成，以帮助读者复习基础知识，掌握基本方法和应用.

目前《微积分/数学分析》课程的教材已经很多，但基本上都是为数学专业编写的，因而理论的完整性、证明的严格性强调的比较充分；为理工科非数学类专业编写的《微积分》教材则往往更多侧重在计算方面。实际上，对于不少非数学专业的优秀理工科学生而言，微积分计算技能的培养和严谨的数学思维的训练常常是都需要的；另一方面，即便对于数学专业的同学，在展示完整优美的数学理论体系的同时，往往也需要一些如何思考、把握相关内容的来源、基本（粗糙一些）的思路的引导。随着新一代学生在中学教育阶段严谨的逻辑训练的减弱（例如，平面几何的训练比上世纪学生有明显的减退），以及对于学习完整演绎方式构建微积分体系的动力减弱，需要以一种更为直观、生动的方式传授给学生微积分的内在动机、目标和各部分的关系。这样才能吸引他们投入精力到严谨的思维训练过程和计算训练过程。也正是在这样的基础上，我们才能更好地让学生懂得怎样把微积分与后续的专业课程联系起来，从而懂得严谨的逻辑基础上发展出来的科学、以及这样的科学基础上创造的技术。《微积分导引（下）》意在坚持严谨性的同时更多注重引导学生的兴趣，以及抓住核心问题的思路、方法和语言。结合“概念清”和“算得快”这两个基本教学目标，培养学生的兴趣、能力和严谨的思维。本教材的对象主要是理工科学生中更偏“理”的群体，属于A类数学，但又不同于数学专业，并建议配以更加严谨完整的数学类微积分教材作为参考书（如北大出版社张筑生的《数学分析新讲》）；本书反过来也可用作数学专业学生的参考书。

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

暂缺简介...