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

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

数学物理方程 第2版下 【数理化】

数学物理方程 第2版 【数理化】

数学物理方程 试用本 【数理化】

行列和线性方程组 【数理化】

气体动力学诸方程 【数理化】

积分方程式之导引 【数理化】

数学物理方程学习辅导 【数理化】

数学物理方程 【数理化】

本书包括：方程的导出和定解问题，行波法，分离变量法和特殊函数，积分变换法与GREEN函数法等。

数学物理方程 第3册 【数理化】