数学要项定理公式证明辞典

几何定理计算机证明

本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...

非线性代数方程组与定理机器证明

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

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

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

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

勾股定理 悠悠4000年的故事

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

二项式定理、莱布尼兹定理的等价公式的建立和推广

人性的证明

本书为日本现代长篇推理小说。

人性的证明

青春的证明