数理逻辑与机器证明

几何证明与几何学概述

王者之路 机器证明及其应用

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

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

分析中的基本定理和典型方法

本书总结了数学分析中的基本定理和典型方法，附录中给出了大量的习题及解答和南京大学硕士学位入学考试“数学分析”试题及其解答。

平面几何分类证明

几何与证明

数学分析中的问题和定理 第2卷 函数零点、多项式、行列式、数论、几何

语言概念空间的基本定理和数学物理表示式

本书是关于概念层次网络理论的核心成果，在信息识别处理，以计算机理解自然语言方面是很受重视的一种理论。

怎样证明平面几何题