几何学中的证明

邻接几何 四色问题及普遍着色问题证明

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

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

几何证明

本套书的最大特色在于“分册”，它突破了一般教辅书按年级分学科的框框，而是按“知识块”分册，把初、高中数、理、化、生物分成55个专题分别成书，每一个知识块在将重点、难点、知识点讲透、讲细的基础上，拓展读者...

几何定理计算机证明

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

中学数学学习丛书之一 如何证明几何题

几何学大辞典 第4卷 证明问题（平面·空间）

数学 选修4-1 几何证明选讲

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

笛卡尔哲学原理 依几何学方式证明

本书包括两部分：《笛卡尔哲学原理》和附录《形而上学思想》。

高中立体几何证明问题 中学教学参考资料