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

四色问题又称四色猜想

素数定理的初等证明

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

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

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

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

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

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

几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

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

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

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

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

梅涅劳斯定理与塞瓦定理

贝蒂定理与拉姆贝克-莫斯尔定理

本书从一个拣石子游戏谈起，介绍了贝蒂定理与拉姆贝克-莫斯尔定理，同时给出了一些应用。本书适合数学爱好者参考阅读。