几何定理计算机证明

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

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

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

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

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

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

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

不在场证明

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

费马大定理证明之研究

用业绩证明自己

本丛书讲述创建事业成功的6大平台，提出抱怨不如实干，用业绩证明自己，忠诚成就自己理念。

现代数学四大猜想的直接证明

记忆的证明

本书选取了《七分之一》、《真情实录》、《深度105》三大栏目中最为精华的节目，具有相当的史料价值、学术价值。该书也可作为有志于电视新闻事业人士的参考读物。...