在旋进流形式下产生的流体动力不稳定性．称为涡流，在Francis水轮机尾水管的壁面上产生高压不稳定波动，导致了包括疲劳损坏在内的比较差的涡轮性能。该现象的建模和这个涡流系统的流体动力学不稳定性的数值研究是本书调研的任务。作为经典方法的替代方法，本书呈现了一种新的涡流流体解析法，该方法基于近的一种具有正交分解的谱配置的数学方法。本书呈现的数学模型可以恢复水轮机特性预测中的信息，而无须计算三维的不稳定流。本书提供了有价值的工具，可以在流道设计的早期阶段评估非设计运行状态下的水轮机性能。本书提供的数学工具为解决现代科学中出现的跨学科问题提供了可转移的知识，这些知识可以应用于许多不同的学科之中。

本书结合Atiyah-Singer 指标理论方面近四十年来涌现的新思想、新技术，以凝练的语言 ，对流形上几何、拓扑与分析中若干经典结果，如示性类的陈-Weil理论，等变上同调的Bott 留数公式及更一般的Berline-Vergne 局部化公式，Gauss-Bonnet-陈定理 ， Poincaré-Hopf 指标公式， Morse 不等式，等等，给出了新颖而“现代”的 系统介绍和处理。此外，本书还介绍了流形上的热方程理论，并利用热方程方法证明了Hodge定理和 Lefschetz不动点定理，给出了de Rham-Hodge 算子，Hirzebruch 符号差算子及Dirac 算子的局部指标公式；介绍了Quillen 的超联络理论，并利用该理论 给出了Gauss-Bonnet-陈定理的一个新的证明；还从向量丛上一般联络出发，几何地构造了 向量丛的Euler形式与Thom形式。本书旨在向国内的青年学子和数学工作者介绍Ati yah-Singer 指标理论的一些基础知识，展示该理论的基本思想与方法在流形的几何、拓扑与 分析中某些问题上的重要应用；可作为数学系研究生的教学参考资料，也可供相关专业科研人员学习使用 。

本书通过物理、化学、生物、医学、交通、人口、生态、经济管理和工程技术中众多数学模型的实例，阐明建立各种现实问题数学模型的主要方法和基本规律。书中每章内容后面还设置了“习题”和“实践与思考”，前者是帮助读者加深对本章内容理解的练习；后者实际上是为建立与本章内容有关的实际问题的数学模型的实践活动提供课题，其中有些还是国内外数学建模竞赛的赛题。阅读该书有助于读者提高分析问题和解决问题的能力。

测度论是研究一般集合上的测度和积分的理论，近年来在现代分析的应用中已显示出极大的潜力．作为测度论中的“**”，本书的主要目的是对测度论进行统一的介绍，内容有：集合与集类、测度与外测度、测度的扩张、可测函数、积分、一般集函数、乘积空间、变换与函数、概率、局部紧空间、哈尔测度、群的测度和拓扑．

本书是东北师范大学微分方程教研室所编写的《常微分方程》（1982年第一版、2005年第二版）的修订版。全书共分六章，主要内容有：初等积分法、基本定理、一阶线性微分方程、n阶线性微分方程、定性和稳定性理论简介、一阶偏微分方程初步等。各章节之后都配备一定数量的习题。 本书可作为高等学校数学类各专业常微分方程课程的教学用书或参考书，对理工科学生学习常微分方程理论亦具有参考价值，还可作为科技工作者的参考用书。

随着科学技术的迅猛发展，具有复杂分层结构的数据在现实生活中很普遍。能完全剖析这类数据，发觉该类数据表象下的潜在规律性对于统计学等科研领域很有意义。《分层分位模拟——理论、方法及以应用（英文版）》致力于介绍复杂分层数据分析前沿知识，侧重于分层分位回归理论、方法及其应用研究。内容主要包括三大块：分层数据建模、分位回归与分层-分位回归。主要涉及到线性分层分位回归模拟、非参数分层分位回归模拟、适应性分层分位回归模拟、可加性分层分位回归模拟、变系数分层分位回归模拟、单指数分层分位回归模拟、分层分位自回归模拟、复合分层分位回归模拟、高维分层分位回归模拟、分层分位回归模拟、分层样条分位回归模拟、分层线性分位回归模拟、分层半参数分位回归模拟、复合分层线性分位回归模拟、复合分层半参数分位回归模拟等。

本书是与吴传生主编的普通高等教育“十二五”国家级规划教材《经济数学——概率论与数理统计》第4版相配套的学习辅导教材，主要面向使用该教材的教师和学生，同时也可供报考经济管理类专业研究生的学生作复习之用。 本书的内容按章编写。每章包括教学基本要求、典型方法与范例、习题选解、补充习题、补充习题参考答案等五个部分，基本与教材同步。典型方法与范例部分是本书的重心所在，它是教师上习题课和学生自学的极好的材料。通过对内容和方法进行归纳总结，把基本理论、基本方法、解题技巧、释疑解难、数学应用等多方面的教学要求，融于典型方法与范例之中，注重对教材的内容作适当的扩展和延伸，注重数学与应用有机结合。习题选解部分，选择教材中一部分习题给出了习题解法提要，对一些富有启发性的习题，给出了较详细的分析和解答。补充习题大多数选自与各章节内容相关的历年的研究生招生考试的典型试题，并给出了相应的参考答案，供学生作为自测和复习之用。本书内容丰富，思路清晰，例题典型，注重分析解题思路，揭示解题规律，引导读者思考问题，对培养和提高学生的学习兴趣以及分析问题和解决问题的能力能起到较大的作用。它是经济管理类专业学生学习概率论与数理统计课程的一部很好的参考教材。

《分析基础机器证明系统》利用交互式定理证明工具Coq，在朴素集合论的基础上，从Peano五条公设出发，完整实现Landau著名的《分析基础》中实数理论的形式化系统，包括对《分析基础机器证明系统》中全部5个公设、73条定义和301个定理Coq描述，其中依次构造了自然数、分数、分割、实数和复数，并建立了Dedekind实数完备性定理，从而迅速且自然地给出数学分析的坚实基础.在分析基础形式化系统下，给出Dedekind实数完备性定理与它的几个著名等价命题间等价性的机器证明，这些命题包括确界存在定理、单调有界定理、Cauchy-Cantor闭区间套定理、Heine-Borel-Lebesgue有限覆盖定理、Bolzano-Weierstrass聚点原理、Bolzano-Weierstrass列紧性定理及Bolzano-Cauchy收敛准则等，基于实数的完备性定理，作为应用，进一步给出闭区间上连续函数的重要性质——有界性定理、*值定理、介值定理、一致连续性定理——的机器证明.另外，还给出张景中院士提出的第三代微积分——不用极限的微积分——的形式化系统实现.在我们开发的系统中，全部定理无例外地给出Coq的机器证明代码，所有形式化过程已被Coq验证，并在计算机上运行通过，体现了基于Coq的数学定理机器证明具有可读性和交互性的特点，其证明过程规范、严谨、可靠.该系统可方便地应用于数学分析相关理论的形式化构建.

本书内容共分十二章，一至九章主要介绍了加、减、乘、除、乘方、开方横式计算方法，除了文字叙述外，还通过例题示范计算过程。每一类别都配备了一定量的练习题，并在每章末附有答案，供练习时参考。第十章介绍了非十进制数的转换和运算，列举例题都采用横式完成，另辟蹊径。尽管日常计算用不到，但了解这些知识，对我们更深刻地认识和了解进制、解决所关联的问题是大有好处的；第十一章横式简算法综合应用题例，展示了横式简算法在综合解题中的具体应用和简便快捷的运算特点；第十二章方法活用主要介绍了从日常计算中总结出来的一些经典方法，有助于读者拓宽思路，提升能力。本书各部分独立成篇，既可以按顺序学习，也可以根据读者需要进行有选择的学习。

《微积分概念发展史》是关于微积分概念发展历程的经典著作。作者从芝诺悖论开始，以柯西的极限理论、戴德金等人对连续性、数和无穷大理论的发展结束，系统介绍了这些概念和一系列相关探索。既有引人入胜的历史叙述，又有对思想源流的深刻分析；不仅阐释了数学发现的方法，而且阐明了数学思想的基础，使读者意识到数学不是一种技术，而是一种思维习惯。这部数学史经典值得数学教师和数学爱好者认真研读。