黎曼几何的积分公式 【数理化】

毕达哥拉斯的定理 【数理化】

本书是系列科普读物《幻想数学大战》的一种。讲的是经常玩的电脑游戏可是用函数来编程的，而且赖以生存的宇宙也是根据函数法则进行运转的。千年前的战争中，在伊奥的函数魔法帮助下，X骑士乌勒领导光斗士大败敌...

迷人的代数 代数学的发展历程及重大成就 【数理化】

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

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

珠算新法及在高等数学中的应用 【数理化】

一生受用的公式 【数理化】

本书把常用的数学与物理基本公式介绍给大家。

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

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

初中各科中考应试精要系列丛书 初中数学应试精要 【数理化】

数学万花筒 2 五彩缤纷的数学问题及知识 【数理化】

本书是《数学万花筒》的第2辑，继承了其内容庞杂、题材新颖、角度独特、大部分内容独立成篇的特点，并在此基础上有所突破，讲解了更加贴近生活的数学谜题、游戏、讽刺短文、流行语、笑话及民间传说等。...

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

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