物理学概论 第1册 机械运动与热运动 【数理化】

物理学概论 第1册 机械运动与热运动 【数理化】

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

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

论初等几何定理的机器证明与消去法 【数理化】

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

全国硕士研究生入学统一考试数学考试大纲配套强化指导 2011年版 【数理化】

为了帮助考生准确理解、深度掌握《大纲》，更好地发挥《大纲》对考生备考的指导作用，万学海文名师团队组织精干力量编写了“全国硕士研究生入学统一考试大纲配套强化指导（2011年版）系列图书”，包括英语、数学和思...

用图形计算器学微积分 图形计算机器与大学数学 【数理化】

本书以图形计算器HP39gs为例介绍如何利用图形计算器学习一元微积分。

运动与场 【数理化】

三维运动分析 【数理化】

布朗运动论 【数理化】

物质、运动和力 【数理化】