韩京俊编著2011 年出版340 页ISBN：9787560332826
本书共分15章，选取300余个国内外初等不等式的典型问题，以解析解题方法，并对部分问题加以拓展。
采泽尔，凯著，黄向阳译2008 年出版307 页ISBN：9787300091518
本书阐述统计原理和统计方法在法律及律师诉讼实践中的应用。
韩京俊编著2014 年出版343 页ISBN：9787560349800
本书介绍初等不等式证明中的有效方法，共分15章，选取300余个国内外初等不等式的典型问题，以解析的方法解题，并对部分问题加以拓展，不少例题都配有较大篇幅的注解。本书适合相关专业师生阅读和使用，也可供专业人员....
陈胜利著2016 年出版465 页ISBN：9787560357973
本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662
用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
