刑事证明中的事实研究

流过的泪是爱过的证明

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

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

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

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

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

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

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

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

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

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

证明函数式相等的方法

本书以通俗的语言、简洁流畅的叙述，针对初等数学中涉及的各种证明函数式相等的方法，分别介绍了三角函数等式证明的方法及非三角函数等式证明的方法。前者包括归义法、变角法、变次法、变名法、裂项相消法、特...

人性的弱点

人性的弱点