本书按照浙江大学盛骤等编写的《概率论与数理统计》（第四版）的框架结构和顺序，每一章编排了六部 分内容：教学基本要求、重点与难点（疑难分析）、主要内容总结、典型例题分析、基础练习题和提高练习题。 为了让学生对概率论与数理统计的发展历史有所了解，本书还整理汇编了概率史和统计史的有关资料。 本书可供高等学校理工科和经管类专业师生学习参考。

本书在“十二五”普通高等教育本科国家级规划教材《大学文科数学（第二版）》的基础上，征询多所高校反馈意见后，重新修订而成。 全书内容分两部分，其中必修内容包括实数、函数、极限、导数、不定积分、定积分、概率统计初步；选修内容包括线性代数、微分方程、二元微积分。教师可根据教学需要灵活选择教学内容。 本书从各个角度自然地引入数学的基本概念，既展现了数学知识的来龙去脉，又示范性地保持了数学所特有的形式化本质特征；列举了不少有应用价值的实例，也扼要地阐明了具有启发意义的数学思想方法；通过对数学内容的辩证分析、典型数学史料的穿插融合，以及章末附设的数学思想方法简介和数学家简介两个阅读材料，介绍了数学与逻辑、数学与哲学、数学与教育、数学与文化、数学家品质与业绩等内容，渗透了数学的人文精

《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。

《概率论（第2版）/全国高等农林院校“十三五”规划教材》为高等农林院校概率论课程教材，全书共有5章：事件及其概率、一维变量及其分布、多维变量及其分布、变量的数字特征、大数定律及中心极限定理，附录中还有常用的MATLAB概率统计软件的简介。 《概率论（第2版）/全国高等农林院校“十三五”规划教材》是编者经多年教学实践及研究，在不断总结经验的基础上编写而成的。注重数学的基本方法及基本思想的渗透，而淡化数学理论上的证明与技巧。加强应用数学的手段与方法对实际问题的处理能力的培养，达到提高学生对问题的认识及解决能力。 《概率论（第2版）/全国高等农林院校“十三五”规划教材》可作为高等农林院校概率论课程教学用书，以及相关科技人员的参考书。