证明评价原理2011.7段厚省, 张峰, 著 诉讼证明原理研究2013.8王学棉, 著 原油评价与组成分析2005.孙兆林, 主编 几何定理机器证明的基本原理2010.8吴文俊, 著 证明评价影响因素分析2007.12段厚省, 著 综合评价原理与应用2003.04秦寿康, 著 GRADE在系统评价和实践指南中的应用2017.7陈耀龙, 主编 证明2014.9(澳) 帕尔玛, 著 数学证明2015.6萧文强, 著 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著 平原区土地质量评价研究2015.3张贞, 著 原油评价标准试验方法2010.3田松柏, 主编 民事证明的原理与方法2012.11张峰, 著 素数定理的初等证明2017.1潘承彪, 潘承洞, 著 结构证明论2019.6马明辉, 编著