几何定理机器证明的基本原理 初等几何部分 【数理化】

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

交换代数导论 【数理化】

在假定读者熟悉群、环、域等抽象代数学基本知识的基础之上，本书用尽可能初等的方式，系统介绍交换代数学的基本研究对象和研究方法。正文内容共8章，分别是第一章环与理想；第二章模；第三章局部化；第四章链条件；......

抽象代数 【数理化】

本书系统介绍了抽象代数的基本概念、基本方法、基本理论。全书共分5章，前两章分别介绍了具有一定深度和广度的群、环、域的一般知识；第3章介绍了Galois理论，它是群论与域论结合所得到的深刻数学结果的具体体现...

经典流体力学、非线性声学和近代物理 【数理化】

数学教学参考资料之一 初等代数题解集 【数理化】

固态控制系统 4 ·X-Y线性定位控制 【数理化】

力学及电学系统中的非线性振动 【数理化】

高等代数 【数理化】

本书共分9章，依次是：加减消元法与行列式、方程组解的算法与矩阵、高次方程与多项式、n维向量空间pn与方程组的解空间、代数系统与线性空间、相似矩阵与线性变换、几何空间与度量空间、二次型与双线性函数、多...

强非线性振动的定量方法 【数理化】

本书介绍了求解强非线性振动周期解的增量谐波平衡（IHB法）和各种推广的摄动方法，包括：改进的L-P法、椭圆函数L-P法等。

线性泛函分析 【数理化】

本书以较小的篇幅，介绍了线性泛函分析的基本内容，赋范空间和Banach空间，内积空间和Hilbert空间，线性算子，紧算子及其在积分方程和微分方程中的应用。本书适合大学三四年级学生以及研究生自学或作为教材使用。...