光学原理 光的传播、干涉和衍射的电磁理论 上 第2版 【数理化】

本书是光学方面的一部名著。

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

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

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

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

巴拿赫代数在算子理论中的应用 【数理化】

线性微分方程的伽罗瓦理论 【数理化】

本书主要论述了线性微分方程的理论知识，包括代数理论、尤其是微分伽罗瓦理论、线性微分方程中的反问题等内容。

有机化学中化学结构理论的状况 【数理化】

理论物理学中的近似方法 【数理化】

本书综合介绍了在量子力学、量子场论和统计力学中几种典型的、较普遍和有效的近似方法。

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

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

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

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

两相悬浮体剪切流的理论和实验 【数理化】