平面几何定理的机器证明

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

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

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

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

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

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

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

几何定理计算机证明

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

定理的多种证明公式的多种推导

素数定理的初等证明

本书主要介绍素数定理的七个初等证明以及与之有关的Чебышев不等式、Mertens定理等。

费马大定理的证明与启示

1637年，费马给出了一个命题，这个看似简单的猜想，一代代数学家们煞费苦心仍无法证明，直到1994年才被英国数学家怀尔斯彻底解决。这本小册子介绍了这358年间发生的一些生动的故事以及给予我们的启示。...

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