几何定理计算机证明

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

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

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

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

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

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

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

初中平面几何证（解）题思路的培养与训练 三角形部分

本书包括三角形的一些概念、三角形的三边关系、三角形的内角和与外角和、全等三角形及其制定、角平分线等内容。

中考几何综合拔高题解法精粹

本书精心编选、解答多样、点评准确100道几何拔高题、其中直线形20道，圆25道，综合题55道。

对比学习法16课彻底突破几何体

本书是高考美术教学丛书。

几何体的结构、明暗、创作比较训练法

本丛书共5册，属美术考前基础训练的技法书。

不在场证明

本书为外国长篇悬念小说。