几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

费马大定理的证明与启示

1637年，费马给出了一个命题，这个看似简单的猜想，一代代数学家们煞费苦心仍无法证明，直到1994年才被英国数学家怀尔斯彻底解决。这本小册子介绍了这358年间发生的一些生动的故事以及给予我们的启示。...

费马大定理证明之研究

数学难题探索：费尔马大定理和四色问题证明

本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...

笛卡尔哲学原理 依几何学方式证明附录形而上学思想

教材完全解读 选修·专题 高中数学 选修 几何证明选讲 矩阵与变换

本书双栏对照，对教材全解全析，在学科层次上力求讲深、讲透、讲出特色；注重典型案例学习，突出鲜活、典型和示范的特点

普通高中课程标准实验教科书 数学 选修4-1 几何证明选讲

数学（A版选修4-1几何证明选讲）普通高中课程标准实验教科书，ISBN：9787107186387，作者：

普通高中课程标准实验教科书 数学 选修 4-1 几何证明选讲 教师教学用书 A版

画法几何及机械制图学习指导 机械类

本书共分15章，每章包括内容提要、题型归纳、示例与解题方法以及习题四部分。

画法几何与机械制图

本教材包括制图的基本知识、基本几何元素的投影、立体的投影、组合体、标准件与常用件、零件图等内容。