图论作为数学的一个重要分支，已广泛应用于计算机科学、信息科学、生命科学、管理科学等领域。平面图是图论的主体内容。由于诸如四色猜想、唯一4-色平面图猜想和九色猜想等的研究对象均为极大平面图，故从1879年至今，学者们从各种角度展开了对极大平面图的研究。本书系统地介绍极大平面图的结构、构造及着色等相关理论，内容包括：基于放电变换的极大平面图乃至一般平面图的结构特征研究；四色猜想的计算机证明；极大平面图的几种构造方法；极大平面图生成运算系统；极大平面图色多项式递推公式；唯一4-色极大平面图猜想的研究；极大平面图中Kempe 变换与σ-特征图理论等。

本书是Springer统计系列丛书之一，旨在让读者深入了解数据挖掘和预测。随着计算机和信息技术迅猛发展，医学、生物学、金融、以及市场等各个领域的大量数据的产生，处理这些数据以及挖掘它们之间的关系对于一

本书系统全面地介绍了随机集信息融合最近10年来的理论及技术进展，密切结合弱小目标检测、联合跟踪识别、集群目标跟踪、多源异质融合、传感器配准、传感器/平台资源管理等实际应用问题。全书按专业化程度和应用水

油水资源数学模拟方法主要包括油田勘探和开发中的渗流力学数值模 拟方法和环境科学，特别是与地下水资源开发和利用及污染问题的防治有关 的数值模拟, 以及半导体器件数值模拟中的渗流力学方法等内容. 它是现代 计算数学和工业应用数学的重要研究方法. 《现代油水资源数值模拟方法的理论和应用》内容包括渗流驱动半定问题 数值方法的理论与应用、二相渗流驱动问题的有限体积元方法和混合体积元 -特征混合体积元方法、可压缩二相渗流的区域分裂方法、二相渗流驱动问 题的混合体积元-分数步差分方法、多孔介质非 Darcy 流问题的数值方法、 核废料污染问题数值模拟的新方法、化学采油数值模拟方法的新进展、冻土 问题数值模拟和地下水污染问题的数值模拟的计算方法及其理论分析.

本书提出了时间序列混合智能辨识、建模与预测的理论和方法。内容分四篇共16章。 篇阐述了时间序列分析的重要性，从文献计量学的角度对时间序列的** 研究进展进行了归纳总结，系统阐述了当前 外主流时间序列辨识、建模与预测的计算策略和经典算法体系；第二篇介绍了铁路沿线风速混合智能辨识、建模与预测理论方法，包括基于特征提取的GMDH神经网络、长短期记忆深度网络、卷积门限循环单元网络、Boosting集成预测和Stacking集成预测模型；第三篇提供了智慧城市大气污染物浓度的特征分析方法及浓度时间序列建模与预测模型，包括点预测、区间预测、聚类混合预测和时空混合预测等理论；第四篇对金融股票价格时间序列进行特征提取与混合预测，包括贝叶斯统计预测模型、BP/Elman/RBF等神经网络预测模型、CNN/LSTM/BiLSTM等深度网络预测模型。本书提供了各类

本卷收录了吴文俊的Mechanical Theorem Proving in Geometries:Basic Principles 一书。 书中论述初等几何机器证明的基本原理, 证明了奠基于各种公理系统的各种初等几何, 只需相当于乘法交换律的某一公理成立, 大都可以机械化。 因此在理论上, 这些几何的定理证明可以借肋于计算机来实施。 可以机械化的几何包括了多种有序或无序的常用几何、投影几何、非欧几何与圆几何等。 全书共分六章。 前两章是关于几何机械化的预备知识, 集中介绍了常用几何; 后四章致力于几何的机械化问题。 第3 章为几何定理证明的机械化与Hilbert 机械化定理, 第4, 5 章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理, 第6 章阐述各种几何的机械化定理。 本书可供数学工作者和计算机科学工作者以及高等院校有关专业的师生参考。

基本解方法最早由V.D. Kupradze 在文章Potential methods in elasticity J.N.Sneddon 和 R.Hill (Eds), Progress in Solid Mechanics, Vol.III, Amsterdam, pp.1-259, 1963 中提出。自 1963 年开始，出现大量基本解方法的计算，但鲜有对基本解方法的分析。本书中，给出基本解方法的数值算法、特点，主要着力于建立其误差和稳定性的理论分析。 本书中的严格分析（以及源节点的选择）为MFS提供了坚实的理论基础，使其成为偏微分方程（PDE）的有效且称职的数值方法。内容源于作者已经发表的论文，本书介绍了MFS的基本和重要要素。

暂无内容简介。。。。。。

本书针对应用科学中的11个重要的非线性发展方程，介绍差分求解方法的**研究成果，包括微分方程问题解的守恒性和有界性分析、差分方法的建立、差分解的守恒性和有界性分析、差分解的存在性分析、差分解收敛性的证明、差分格式的求解等内容。建立的差分求解格式包括非线性差分格式和线性化差分格式。这11个非线性发展方程如下：Burgers方程、正则长波方程、Korteweg-deVries方程、Camassa-Holm方程、Schr.dinger方程、Kuramoto-Tsuzuki方程、Zakharov方程、Ginzburg-Landau方程、Cahn-Hilliard方程、外延增长模型方程和相场晶体模型方程。

基本解方法最早由V.D. Kupradze 在文章Potential methods in elaicity J.N.Sneddon 和 R.Hill (Eds), Progress in Solid Mechanics, Vol.III, Amerdam, pp.1-259, 1963 中提出。自 1963 年开始，出现大量基本解方法的计算，但鲜有对基本解方法的分析。本书中，给出基本解方法的数值算法、特点，主要着力于建立其误差和稳定性的理论分析。 本书中的严格分析（以及源节点的选择）为MFS提供了坚实的理论基础，使其成为偏微分方程（PDE）的有效且称职的数值方法。内容源于作者已经发表的论文，本书介绍了MFS的基本和重要要素。