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

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

数学证明

本书首先提出了数学的定义及其研究对象，然后就数学的本性，数学的价值以及教学方法，对数学的评价等进行了阐述。

身份的证明

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

举证责任与证明度

哥德尔证明

本书是一本既面向学者，又面向非专业人士，对任何具有逻辑和哲学品位的人，提供了一个深入了解先前无法企及的论题机会。

刑事证明标准研究

本书是关于刑事证明标准的专著，从哲学、心理学、逻辑学、概率、经济学等多学科、多角度对刑事证明标准进行了深入研究，并提出了自己的观点。...

用结果证明自己的能力

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

专题小课本高中数学 常用逻辑推理与证明

点击专项 高中数学 不等式 推理与证明

本书是高中生学习数学的必备参考用书。

刑事证明方法与技巧

本书理论联系实际，总结了作者从事刑事办案工作二十多年来运用“证据联结点”解决疑难复杂案件独特、成功的实践经验。书中归纳了司法实践中大量的刑事证明技巧，并通过近200个生动的司法实例予以阐述，是广大司...