几何定理机器证明的几何不变量方法 【数理化】

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

从流代数到量子色动力学 结构实在论的一个案例 【数理化】

本书是从结构实在论的视角，对1962年到1972年的概念发展所做的一个简要论述，涵盖了从流代数方法到量子色动力学发展中的主要进展，并对这一历史篇章给出了哲学分析。本书更偏重于哲理性，主要论述流代数和量子色动...

高分子物理学 理解其结构和性质的基本概念 【数理化】

高分子物理学是高分子科学的一个关键组成部分。这本教材以系列讲座的形式介绍了这一材料科学中的重要分支领域，主要着力于基本概念而不是实验技术和理论方法。本书以一个实验科学家多年的研究视角由浅入深地...

运动稳定性理论的基础 【数理化】

动态系统的几何理论导引 【数理化】

书名原文:Geometrictheoryofdynamicalsystemsanintroduction.

高分子的标度和蛇行理论 【数理化】

偏微分方程的L理论 【数理化】

共轭体系的简单分子轨道理论 【数理化】

非线性再生散度模型 【数理化】

本书系统介绍非线性再生散度模型的统计推断原理、方法和应用。内容包括：非线性再生散度模型参数的极大似然估计、Bayes估计、统计诊断方法、欧氏几何结构、置信域的曲率表示，非线性再生散度随机效应模型参数...

理论力学的基本概念与解题技巧 【数理化】