高等代数理论与应用 【数理化】

高等代数是代数学发展到高级阶段的总称，主要包括线性代数和多项式两部分内容，线性代数主要讨论行列式、矩阵、向量、线性方程组、线性空间、线性变换、欧氏空间、二次型等；而多项式理论主要是利用代数方法和解...

随机模型检测理论与应用 【数理化】

本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...

联吡啶基钌光敏染料的结构与性能的理论研究 【数理化】

素数分布方程理论与证明 【数理化】

本书是一本数学方面的学术专著。作者提出素数分布理论，总结、归纳了素数分布方程的特征与性质，证明了在八个等差数列中，素数的个数都是近似相等的，这一成果改进了埃氏筛法，建立了偶数的15种类型64个方程，为孪生.....

最优化基础理论与方法 【数理化】

本书主要介绍最优化的相关的基础理论、无约束优化问题的最优性条件以及线性搜索技术、无约束最优化算法、约束优化问题的最优性条件、二次规划的求解算法、一般非线性约束最优化问题的罚函数法等，并给出了一...

现代数学中的流形理论 纯粹数学与应用数学研究专著 【数理化】

实对称矩阵的拟特征值理论与应用 【数理化】

本书的中心内容是建立矩阵特征值的一个新的应用分支——实对称矩阵的拟特征值（及向量）的分析方法。

交换环与星型算子理论 【数理化】

本书介绍了交换环上的模范畴，经典Noether环的理想理论，凝聚环的同调方法，整扩张理论，维数理论，以及今年来众多学者关注的整环上的星型算子理论。此外，还介绍了整体维数为二的交换环上的Bass-Quillen问题方法及Fit...

声学理论与工程应用 【数理化】

本书系统介绍了声学的基础理论和若干工程应用。全书共分四篇。第一篇介绍声学的基础理论；第二篇介绍噪声控制技术，主要是空气噪声控制技术，在吸声一章，附带介绍了消声瓦的设计与应用；第三篇介绍结构声原理及其控...

惠更斯与巴罗，牛顿与胡克 数学分析与突变理论的起步 从渐伸线到准晶体 【数理化】