方程求解与机器证明 基于MMP的问题求解

偏微分方程的并行算法

本书学术水平很高，可供数学系研究生、应用数学工作者和科研人员阅读。

信号与图像的稀疏分解及初步应用

本书主要介绍了信号空间理论基础、信号与图像的稀疏分解算法、以及稀疏分解算法在信号处理及图像压缩编码方面的应用。

二次规划 非线性规划与投资组合的计算

本书重点介绍非凸二次规划局部极小点的有关理论与方法。

线性算子半单群及其在偏微分方程中的应用

本书是一部关于有关线性算子半群理论及其在偏微分方程中应用的经典教科书，内容简明，书中着重介绍用于偏微分方程的实初始值问题，以及自治和非自治线性初始值问题用的抽象柯西问题。本书适用于高等学校数学及相...

电磁场并行计算

本书主要讨论电磁场数值分析方法的实现。

拟线性双曲型方程组：Cauchy问题

拟线性双曲型方程组描述了许多物理现象，对于Cauchy问题，尽管初始资料充分光滑和充分小，一般说来，它的经典解仅在有限时间范围内存在。本书基于拟线双典型方程组局部经典解理论，利用局部延拓方法研究拟线性双典型...

并行计算导论

本书介绍并行计算的基础知识，Linux/UNIX的基本使用、基于Linux机群的并行计算平台的建立、并行算法的设计和MPI消息传递并行编程的基本概念和方法。还提供了一批典型科学极端问题的并行算法与程序设计实例，还...

非线性常微分方程理论 方法 应用

本书分为两大部分，1～4章为第一篇非线性系统的平面定性理论及分支问题，讲述平面奇点局部结构、极限环、平面系统全局结构、结构稳定性与分支问题。5～8章为第二篇非线性系统的稳定性理论及其应用，讲述пунов稳...

数值计算 微分方程数值解

本书从工科院校应用数学角度，在掌握一定的数值计算理论的基础上，着重于计算机计算和应用环节的学习和训练。本书的主要内容包括：微分方程数值解的基本概念；常用算法及其精度、稳定性、收敛性；在计算中应注意事项...