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

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

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

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

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

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

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

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

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

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

哈佛的证明

本书是纪实文学。

能力是证明出来的 组织用人的8种理由

本书产品类型属于企业组织成员自我管理图书，人人都认为自己拥有某种能力，人人都想让组织知道自己的超强能力，这时候怎么办？就得拿出真本领，比试比试、证明证明。本书将告诉广大企业组织成员中需要自我培养、证明...

勾股定理 悠悠4000年的故事

勾股定理虽然归功于毕达哥拉斯，然而，在毕达哥拉斯之前1000多年，该定理就为巴比伦人所知了。可能他是第一个证明了这个定理的人。 该定理是几乎每个数学分支的核心。...

正奇数为素数的判断方程 哥德巴赫猜想的证明

本书稿共5章。首先探讨、设置和寻找证明哥德巴赫猜想所需要的理论知识和理想研究数段，给出了正奇数为素数的必要条件和判断方程，接着提出了适合研究哥德巴赫猜想的数学模型--偶数等分对应模型，猜想的证明方法...