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

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

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

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

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

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

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

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

数学难题探索：费尔马大定理和四色问题证明

本书详细地介绍了费尔马大定理的初等证明问题的数学证明方法，同时还运用数学推理方法证明了三次平面图形成定理和边二色回路定理，并进一步证明了四色问题也是成立的。这些证明的思路和方法，对于启发人们数学思...

素数分布定理与哥德巴赫猜想的证明

2000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......

从切比雪夫到爱尔特希 上 素数定理的初等证明 1 the elementary proof of the prime number theorem

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

数学思想方法入门 怎样理解证明和作出证明

数学证明方法

裁判思维与证明方法