不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......

机器人学的几何基础 第2版

本书是一部关于机器人学中几何概念的导论性著作，系统介绍了用于解决机器人学问题的数学工具，尤其是几何学工具。其重点不是集中在运动学和机器人学的计算结果上，而是包含极其重要的最新材料，反映了这一领域的重...

身份的证明

本书讲述了地下工作者翟皓明经历重重困难，证明共产党员身份的历史故事。

用结果证明自己的能力

结果是检验一切的标准，能创造结果的员工是公司最宝贵的财产。本书就是依照这一主题进行展开，将结果实现的原因、过程与手段进行了细致地分析。...

被证明的不平等：社会正义的原则

民主系统，只有当这一制度满足政治正义的基本权利要求，保障所有公民法定的社会生产财富，才是公正的，在其没有满足这些条件之前，都理应受到批判，求改革。...

用数字证明 法律和诉讼中的实证方法

本书阐述统计原理和统计方法在法律及律师诉讼实践中的应用。

费马大定理：解开一个古代数学难题的秘密

本书通过费马定理的介绍，对古老的数学难题做了深入的剖析，对了解费马定理，以及对古老的数学难题的解析均有具体指导意义。

高等数学解题指引与同步练习 3 微分中值定理与导数的应用

用业绩证明自己的价值

面对以结果为导向的企业理念，很多员工都会迷茫和困惑，他们虽然通过了各种努力，却无法使自己的价值得到体现，从而心中的不平衡感在不断加强。那么，如何证明自己？书中给出了答案，就是业绩。业绩是一个企业行为的......

破解素数奥秘 哥德巴赫猜想原题的证明

本书介绍了素数的历史，当今素数领域中未解难题，素数的研究方法，素数研究新发现与新成果，素数奥秘与哥德巴赫猜想原题的关系，哥德巴赫猜想原题证明，素数的应用等。...