Kummer定理 2015数学基金 【数理化】

本书从Kummer定理谈起，共分7编，详细介绍了有关Kummer定理的相关知识，如：数学奥林匹克中的Kummer定理、p进制中的Kummer定理、有理指数的Fermat大定理与Kummer扩域等。同时介绍了和Kummer成长相关的数学家Fermat...

高等数学学习指导和习题解析 下 【数理化】

本书是以国家教育部非数学专业数学基础课教学指导分委员会制定的工科类本科的《高等数学》教学大纲为依据，根据北京邮电大学高等数学双语教学组编写的双语高等数学教材而编写的教学辅导书。本书对双语高等数...

拉克斯定理和阿廷定理 从一道IMO试题的解法谈起 【数理化】

本书是“数学中的小问题大定理”系列丛书之一。通过一道IMO试题研究讨论拉克斯定理和阿廷定理，并着重介绍了希尔伯特第十七问题。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱好者研...

数学女孩 2 费马大定理 【数理化】

本书涵盖了形形色色的数学题目，从小学生都能明白的简单问题，直至困扰了数学家350年以上的难题。本书采用语言、图形以及数学公式表达主人公的解题思路，以小说的形式展开，重点描述一群年轻人探寻数学中的美。内...

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

四色问题又称四色猜想

素数定理的初等证明 【数理化】

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

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

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

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

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

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

Artin定理 古典数学难题与伽罗瓦理论 【数理化】

本书应用伽罗瓦理论清晰透彻地论述了两个古典难题的解决方法，即寻找代数方程的求根公式和限用圆规直尺作图（如三等分任意角、把立方体体积加倍、化圆为正方形以及作正多边形等），并借此由浅入深地向读者介绍了一...