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

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

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

几何瑰宝 平面几何500名题暨1000条定理 下

几何瑰宝 平面几何500名题暨1000条定理 上

几何瑰宝 平面几何500名题暨1000条定理 上

本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...

几何瑰宝 平面几何500名题暨1000条定理 下

本书从三角形、四边形、多边形、圆及其关系，以及最值、轨迹、作图，完全四边形（四边形）、平面闭折线、圆的推广等十个专题对平面几何中的500余颗璀璨夺目的珍珠进行了系统的、全方位的介绍。...

画法几何与机械制图习题集

画法几何及机械制图 1

本书主要包括画法几何及机械制图1的内容，主要介绍了点、直线、平面、直线与平面、平面与平面的相对位置、立体平面与立体曲面、平面与立体相交、两回转体表面以及轴测图等内容。...

哈佛的证明

本书是纪实文学。

画法几何及机械制图

本书是在机械类、近机类专业教材《机械制图》第1版的基础上，吸取使用者的建议，结合“机械制图”课程教学的基本要求修订而成的。全书采用了最新国家标准，书中配有效多的黑白润饰立体图。本书可供高等学校机械...