证明的方法

证明责任：事实判断的辅助方法

中学数学中的证明方法

初等不等式的证明方法

本书共分15章，选取300余个国内外初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展。

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

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

初等不等式的证明方法

本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....

四色定理的证明和方法论 图形填色的系统控制和调节工程

中考数学题型关键30分 圆中比例式 等积式 证明的思路与方法

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

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

几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...