挑战思维极限 勾股定理的365种证明

本书主要介绍了勾股定理的365种证明方法。并按证法的类型进行归纳、整理和总结。让读者有一个系统和全面的了解。大多数证法用到的知识范围不超过初中几何的教学内容，许多证法思路巧妙，别具一格，对提高读者的...

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

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

刑事证明中的事实研究

流过的泪是爱过的证明

本书是一本散文集，包括叙事、抒情，无论是爱情或亲情，人物或风景，每篇文章作者均以最独特的写作风格展示文字的精彩，文字是一场华丽的盛宴，也是人类精神丰富的粮食，本书的文字贴近生活，寓于抒情，能让读者体会......

思考机器探案集 完美的不在场证明 第2版

数学写真集 无需语言的证明 第3季

本书由一百多个“无需语言的证明”的图片组成，每一个都非常精彩。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集。书中的素材选取自国际顶尖数...

从Stewart定理的表示谈起 向量理论漫谈

本书介绍了向量的概念及运算，研究并举例说明了一些特殊数学关系的向量表示，给出了一些著名平面几何定理的向量法证明。以较大篇幅介绍了如何运用向量知识处理中学代数问题、平面几何问题、立体几何问题，还介绍...

一个定理的诞生 我与菲尔茨奖的一千个日夜

2010年，法国青年数学家塞德里克·维拉尼凭借对非线性朗道阻尼的证明以及对玻尔兹曼方程收敛至平衡态的研究，一举摘得菲尔茨奖章。维拉尼将以日记形式再现这段研究生涯，揭示一个数学定理的诞生历程，描绘数学家和...

不等式的分拆降维幂方法与可读证明

本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...

概率统计中的平衡定理及线性特征参数

本书是作者多年研究概率统计的成果，结合多年工作经验编写而成。本书以概率统计中“一阶中心矩恒为0”定理，推导出一条全新的“平衡定理”，以及三均值公式，由此出发推导出一系列与以往不同、全新的线性特征参数（....