本书主要介绍Matlab、Mathematica、Python、Lingo等软件在数学建模、数学计算、数据挖掘、统计计算和智能优化等课程上的应用。介绍了各个软件的功能命令，并结合相关课程，通过具体实验题目和案例，给出软件的解决方法。

图像信号本质上可以看作是关于一组基向量的稀疏表示，而稀疏表示是获得、表示和压缩图像信号的一种强有力的工具。从稀疏约束的角度来划分，可以将稀疏表示分为五类，分别为（1）基于最小化L0范数的稀疏表示，（2）基于最小化Lp（0＜p＜1）范数的稀疏表示，（3）基于最小化L1范数的稀疏表示，（4）基于最小化L2,1范数的稀疏表示

“高等数学”或“微积分”是财经类高校各专业很重要的一门公共基础课程，它是相应专业本科生学习后续数学类课程的基础，也是经贸、金融等各专业研究生入学考试的必修课程。本书作为对外经济贸易大学统计学院的统计学与数据科学系列教材之一，旨在更加适应财经类高校本科生的特点，进一步强化和提高学生的逻辑思维、抽象思维、发散思维等基础数理

整数，是人类文明*早发明的事物之一。对于整数的研究，催生了一门叫做数论的学科。这一学科尽管创始于古希腊，但是几千年过去了，人们发现整数的性质无穷无尽。本书以虚构的人物果戈尔博士为主角（有点像迪士尼的动画片唐老鸭漫游数学奇境），去作一次奇妙的旅行，它将开启你的幻想之门。书中有为数众多引人深思的神奇故事、动脑筋趣题以及各式

本书系统地介绍流体力学中的基本方程，即：不可压缩Navier-Stokes方程的最新理论和方法，着重介绍Fourier分离方法及其在Navier-Stokes方程中的应用。具体讲，就是用此方法建立大初值整体弱解在范数意义下的最优大时间行为，以及整体小初值强解在范数意义下的长时间渐近行为。本书循序渐进地阐述Navier-

本书是对高等代数重点、难点内容的数学本质的探索与挖掘，是作者10多年教学经验的总结。本书是基于北京大学数学系前代数小组编写，王萼芳、石生明修订的《高等代数》（第五版）介绍的高等代数理论和方法而编写的。全书分为九讲，包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵和欧氏空间，每一讲都对其理论进行

布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.《公理化集合论机器证明系统》利用交互式定理证明工具Coq,实现Morse-Kelley公理化集合论形式化系统,包括对该体系中8个公理(含选择公理)和1个公理图示以及全部181条定义或定理的Coq描述,其

本书分为四个部分：第一部分，写现代时期的数学；第二部分，回溯过去,讨论微积分的起源，以及伴随着非欧几里德几何的诞生而出现的概念性转变；第三部分，讨论数学中最富哲学性的术语：无限的概念和形式逻辑的基础，也讨论了艾伦·图灵的天才想法，并试图阐明真理、证明与可计算性之间的关系；第四部分，考虑数学在我们试图理解我们周围的世界的

本书二十章，内容涉及：代数、数论、逻辑、概率、无限集合与数学的基础、环、矩阵、转化、群、环以及拓扑学。讨论了毕达哥拉斯、阿基米德、牛顿、莱布尼茨、高斯、罗巴切夫斯基、伽罗瓦、黎曼、麦克斯韦、爱因斯坦等众多人物的贡献。书中的内容纯数学和应用数学各占一半，二者紧密结合。

本书谈初等数学又不局限于初等数学，着重讲了两个问题：一个是变换的迭代，一个是变换的磨光性质。内容包括：变换的概念、平均值不等式、三角形的等周不等式、小孩分糖块、圆周上的围棋子、杜赛问题、调整整数矩阵等。