哈密尔顿-凯莱定理 从一道高中数学联赛试题的解法谈起

本书从一道高中数学联赛试题的解法谈起，详细介绍了哈密尔顿-凯莱定理的相关知识。全书共分为四章，分别为：引言、基础篇、应用篇与人物篇。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱...

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

实定理的复证明=COMPLEX PROOFS OF REAL THEOREMS

素数定理的初等证明

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

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

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

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

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

拉格朗日乘子定理 从一道2005年全国高中联赛试题的高等数学解法谈起

本书从一道2005年全国高中联赛试题的高等数学解法谈起，详细介绍了拉格朗日乘子定理的相关知识及应用。全书共9章，读者可以较全面地了解这一类问题的实质，并且还可以认识到它在其他学科中的应用。本书适合大学...

消失的天才：完美的数学证明、舍弃的百万美元大奖，一位破解百年难题的数学家神秘遁逃的故事

定理机器证明

自动定理证明