《高斯随机过程的局部时和随机流形》主要介绍几类高斯随机过程在局部时和随机流动形等方面的最新研究进展，较为系统地讲述局部时和随机流动形这些概率论中的重要问题.主要内容包括：①分数布朗运动、多分数布朗运动和次分数布朗运动等几类高斯过程的局部时；②由分数布朗运动驱动的Ornstein-Uhlenbeck过程的碰撞局部时；③两

本书架构上分为函数极限、微分方程、多元微分学，多元函数积分、级数4个部分，章节设计由浅入深逐步递进。在微分方程部分，包括微分方程的求解及应用。多元微分学部分，包括多元函数的概念、求导方法、多元函数偏导数的意义。多元函数积分学部分，包括重积分、二重积分和三重积分、曲线积分和曲面积分。级数部分，包括级数内容。教材每节后均配

全书共9章，前8章分别讨论声呐方程、海洋的声学特性、海洋中的声传播理论、典型传播条件下的声传播、声波在声呐目标上的反射和散射、海洋中的混响、水下噪声、声传播起伏。本书最后一章简要介绍近些年来的部分水声科技进展。

本书主要讲述了多维标度方法的主要内容。结合作者五年来在优化教学课程中的经验及研究内容，研究成果，总结整理而成。主要包括三大部分内容。第一部分(第一章至第六章)介绍多维标度方法的传统内容,包括经典多维标度方法,度量多维标度方法,非度量多维标度方法,及多维标度方法应用的具体流程.第二部分(第七章)介绍多维标度方法的最新进展

本书内容为：有限元法构造及其在电子计算机实现解题的全过程，椭圆边值问题变分原理、有限元解的收敛性、非标准有限元法，以及有限元法在科学与工程中的应用，并且介绍了作者几年来在工程问题中的部分研究结果。

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

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

以作者20年来的研究成果为基础，精选一批在传统物理学教科书中无法深入讨论的重要问题，借助新版本Mathematica强大的符号运算和数值计算能力、杰出的数字绘图以及动画制作功能，图文并茂地展现各个重要实问题的物理内涵.本书内容有电场、磁场、动力学微分方程的数值解与运动轨迹、量子力学四章.选题经典，内容先进，方法新颖，分

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

《高等代数问题求解的多向思维》是作者结合多年给数学专业本科生进行高等代数考研辅导的有关内容,和长期的探索积累编著而成的。《高等代数问题求解的多向思维》精选包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间等内容的典型例题，给出多种证法或解法，反映高等代数各类知识点之间的有机联系，注