本书较为系统地介绍了大规模稀疏问题的数值计算方法，主要内容包括大规模稀疏线性方程组、线性最小二乘问题、非线性方程和非线性最小二乘问题、大规模稀疏特征值问题、大规模无约束最优化问题、约束优化问题的并行算法、大规模并行可视化、大规模稀疏二次规划问题的数值计算方法，同时也给出了这些方法在油气勘探开发(测井、采油等领域)中的应

本书根据教育部最新颁布的全国高等院校理工科及经济类“线性代数”课程教学大纲的要求编写。涵盖了经典线性代数的内容，包括行列式、矩阵、向量组的线性相关性、线性方程组、相似矩阵及二次型等内容。本书由浅入深、循序渐进地阐述线性代数的观点和方法，并且强调概念和计算同等重要，帮助学生掌握线性代数学方面的基本理论和基本运算技能，为后

本书是在第一版的基础上，依据高等学校大学数学课程教学指导委员会制定的《大学数学课程教学基本要求》，结合应用型高校人才的培养目标和学习特点，并深度融合新工科理念修订而成的。 全书主要内容包括行列式，矩阵及其运算，向量组的线性相关性与矩阵的秩，线性方程组，特征值与特征向量，矩阵的对角化，二次型，线性空间与线性变换，每章后附

数据科学和机器学习已经深度融合到我们生活的方方面面，而数学正是开启未来大门的钥匙。不是所有人生来都握有一副好牌，但是掌握“数学+编程+机器学习”绝对是**。这一次，学习数学不再是为了考试、分数、升学，而是投资时间、自我实现、面向未来。为了让大家学数学、用数学，甚至爱上数学，在创作这套书时，作者尽量克服传统数学教材的各种

本书共分为九章，包含多项式、行列式计算、线性方程组、矩阵、二次型、线性空间、线性变换、若当标准型和欧氏空间。每章分为三部分：第一部分为基本题型及常用解题方法介绍；第二部分为例题选讲(主要利用介绍方法教会学生解题)；第三部分为北大与北师大教材习题及参考解答。

本书系统介绍了数学建模的理论知识和求解方法，结合典型实例全面阐述了数学建模解决实际问题的基本过程。内容涵盖了数学建模课程中的一些基本方法和基本模型，包括插值与拟合、线性规划、整数规划与非线性规划、常微分方程与差分方程模型、概率统计模型、图论与网络优化、综合评价与决策模型等。

本书主要介绍了儿童数学建模的选题、开题、做题、结题，精选了11个儿童数学建模的案例，详细介绍了儿童如何开展数学建模的过程。主要内容包括：儿童数学建模的选题；儿童数学建模的开题；儿童数学建模的做题等。

《在教学中寻找数学的美》从一个特殊的视角——数学教育教学，探索寻找与教学紧密联系的数学的内在之美、人文之美、应用之美、思维之美、空间之美、字符之美、哲学之美、政论之美、改革之美、教学设计之美、研究过程之美、教学实践之美、学生热爱数学之美……读者阅读《在教学中寻找数学的美》，可以与作者一起探究数学与教学相结合之美的独特性

逻辑定理的机器证明是人工智能领域人们最早从事研究的课题。本书从逻辑定理的人工证明和机器证明两方面来展现逻辑定理证明的艺术，而机器证明又从定理的自动证明和计算机辅助证明两个方面来展现。本书首先用作者构造的命题演算系统FPC和狭谓词演算系统FQC完成常用逻辑定理的人工证明(一种自然推理证明)。其次，用逻辑定理的机器证明工具

本书从思维创新的实际出发，分别对高校数学教学的基本理论、创新思维的基本理论、数学思维与数学教学的关系、数学教学中逻辑思维的培养、数学教学中发散思维的培养、数学教学中形象思维的培养，以及数学教学中直觉思维的培养进行了阐述，同时分析了高校数学教学改革与学生数学意识培养的制约因素：对课程的重视程度有待提高，教学模式有待丰富，