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

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

仿射几何及其在初等几何中的应用 国内外中学生几何竞赛题新解

高观点下的初等数学 几何

本书阐述基础数学教师应该站在更高的视角（高等数学）来审视、理解初等数学问题。

高观点下的初等数学 第2卷 几何

Elementary topics in differential geometry = 微分几何中的初等论题

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

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

初等数学（初等几何）

初等几何习题解答初等数学研究

微分几何中的初等论题 英文

本书是一部讲述微分几何的教程。着重讲述了n+1维空间中n维旋转曲面的几何。通过光滑函数水平集的曲面的讲述，这样不需要更多的预备章节，直接引入全局的概念。向量微积分成为研究该理论的最基本工具。书中讲述...

初等几何 下 平面几何部分