平面几何定理的机器证明

挑战思维极限 勾股定理的365种证明

本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容，许多证法思路巧妙，别具一格，对提高读者的...

素数定理的初等证明

本书主要介绍素数定理的七个初等证明以及与之有关的Чебышев不等式、Mertens定理等。

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

费马大定理的证明与启示

1637年，费马给出了一个命题，这个看似简单的猜想，一代代数学家们煞费苦心仍无法证明，直到1994年才被英国数学家怀尔斯彻底解决。这本小册子介绍了这358年间发生的一些生动的故事以及给予我们的启示。...

四色定理的证明和方法论 图形填色的系统控制和调节工程

证明四色定理的新数学 图论中的锁阵运筹

四色问题又称四色猜想

素数定理的初等证明

本书主要介绍素数定理的7个初等证明以及与之相关的切比雪夫不等式、Mertens定理、素数定理的等价命题、Riemann Zeta函数、几个Tanber型定理、L空间中的Fourier变化、Wiener定理、素数定理的推广等。通过学...

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

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

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...