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

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

图像信号本质上可以看作是关于一组基向量的稀疏表示，而稀疏表示是获得、表示和压缩图像信号的一种强有力的工具。从稀疏约束的角度来划分，可以将稀疏表示分为五类，分别为（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描述,其

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

本书内容包括：极限与连续、导数与微分、导数的应用、一元函数积分学及多元函数微积分学。在每一模块中均编有应用与实践内容，其中包括高等数学在物理、机械、经济、电工电子、信息技术等方面的应用和数学软件MATLAB的使用。每节配有习题，并将习题答案附于书后。 本书可供高职院校工科类和经济管理类专业的学生作为教材或学习参考

该教材借鉴现有的法国工程师教育的热力学的相关教材，结合中国学生的实际情况进行编写，其中的练习更是紧密结合教材内容的知识点，由编者亲自设计。该教材能使中国的学生更好地吸收法国工程师教学体系里关于热力学的内容，有助于中国的老师更好地理解法国工程师精英培养模式的教学理念和教学方法，并摸索出一条具有中国特色的工程师培养模式中关

本书在建立应用变分方法研究时标上的共形分数阶微分方程边值问题的工作空间,并应用变分方法研究时标上的共形分数阶微分方程边值问题解的存在性和多解性，拓展了临界点理论在研究时标上的微分方程边值问题中的应用范围，提出了研究时标上的微分方程边值问题的新方法。。微分方程专业的硕士研究生、博士研究生以及广大数学研究者