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

四色问题又称四色猜想

素数定理的初等证明

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

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

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

数学概念、公式、法则和定理活用指南 初中数学导学与备考

新课标常备初中数理化生公式定理词典 初中版

本书有关初中数学、物理、化学、生物的公式、定理的工具书。

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

布劳维不动点定理

本书主要介绍了布劳维不动点定理及其推广角谷静夫定理的证明及应用。全书共分为6章：第1章，布劳维不动点定理；第2章，某些非线性微分方程的周期解的存在性；不动点方法与数值方法第3章，角谷静夫不动点定理；第4章，W......

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

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

常备高中数理化公式定理词典

本书与教育部新修订的各科教学大纲同步，浓缩、提炼中学数理化教科书中的精华，在涵盖大纲所有知识点的基础上，根据中考、高考试题适当扩充知识体系，做到本书内容比大纲只多不少。本书在巩固、强化基础知识的同时...

代数几何中的Bezout定理

代数几何是数学中的一个重要分支，国内外很多著名的数学家都从事过对它的研究。本书共分十章，分别为：一道背景深刻的IMO试题、多项式的简单预备知识、代数几何中的贝祖定理的简单情形、射影空间中的交、代数几...