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

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

《推动中国数学发展：纪念数学天元基金三十年》是数学天元基金设立三十周年纪念文集，搜集整理了三十年来数学天元基金的发展大事件和历史资料，不同领域数学家的专访、回忆录，以及数学天元基金对我国数学发展的重大影响。《推动中国数学发展：纪念数学天元基金三十年》共分六部分，前两部分收录了数学天元基金申请成立之初的请示报告和部分数学名家为天元基金的题词，第三部分为天元基金成立以来的重要会议、重要活动的影像资料，第四部分特别收录了曾为天元基金的设立和发展做出巨大贡献的数学家文稿，第五部分总结了数学天元基金成立和发展大事记，附件部分汇集了天元基金十周年、二十周年纪念新闻稿和基金管理办法、项目指南。

本书是安徽省2020 年度高等学校省级质量工程一流教材建设项目成果，内容包括随机事件与概率、一维随机变量及其分布、多维随机变量及其分布、随机变量的数字特征、大数定律与中心极限定理、数理统计学简介、参数估计、假设检验、方差分析与线性回归简介、R 语言及其应用等. 本书配有大量与自然科学、社会科学、工程技术等领域相关的例题和习题. 本书按照由浅入深、循序渐进和融会贯通的原则，力求既注重对基本概念、基本理论和基本方法的阐述，又注重对学生基本运算能力的训练和分析问题、解决问题能力的培养.

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

本书面向理工非数学类专业本科生。书中包含微积分在工程、管理及其他领域中的应用实例，通过对实际应用问题、数学建模例题的讲述，提高学生的学习兴趣并培养其应用数学知识解决实际问题的能力。本书配置丰富的数字资源，包括典型例题、习题讲解，每节预习检测，数学应用相关的选读材料等，读者登录数字课程平台或者扫描二维码即可浏览。本书上册内容包括一元函数微积分学、常微分方程初步；下册内容包括向量代数与空间解析几何，多元函数微积分学，无穷级数等。

本书主要讨论各向异性随机场的样本轨道性质，主要从三大类各向异性随机场进行讨论。首先研究时间各向异性高斯随机场的碰撞概率和相交性，以及时间各向异性stable随机场局部时的存在性和联合连续性；其次讨论空间各向异性高斯随机场像集的Hausdorff维数和填充维数；后研究时空各向异性随机场的碰撞概率，像集和逆像集的Hausdorff维数，以及像集的确切Hausdorff测度。

本书首先介绍3个半参数回归模型以及在生存分析、医学统计、民意调查中经常会遇到的一些不完全数据，并对这些不完全数据的研究动态进行了梳理。其次研究缺失数据下带不等式约束的反应变量均值的假设检验，以及缺失数据下的部分线性测量误差模型的非参数检验问题，通过模拟研究和实证研究来演示提出的检验方法的表现。接着在反应变量是随机左截断数据下， 讨论部分线性分位数回归模型的估计和变量选择问题。

好玩的数学长作业，最生动的体验，最深刻的感悟。有心而新，一线教师17年实践探索，用项目式学习让孩子喜欢上数学！

本书系统介绍非线性优化的基础理论，内容包括非线性规划、非线性二阶锥优化、非线性半定规划的**性理论和经典的稳定性分析理论，稳定性分析主要包括Jacobian**性条件下的稳定性分析和Karush-Kuhn-Tucker系统的强正则性的刻画。为了刻画非线性二阶锥优化和非线性半定规划的理论，以较短的篇幅介绍了对偶理论、锥约束优化的**性理论与经典的稳定性结果，还介绍了Lipschitz连续优化和互补约束优化问题的**性必要条件。