复变函数论2016.3张太忠, 编著 证明方法与理论2015.11张寅生, 著 McCarthy函数和Ackermann函数2017.6刘培杰数学工作室, 编译 实变函数与泛函分析2003.06柴平分, 主编 复变函数及其应用2012.石辛民, 翁智, 编著 几何定理机器证明的基本原理2010.8吴文俊, 著 俄罗斯函数问题集2010.12谢彦麟, 编译 Mock theta 函数理论2018.3陈斌, 周海港, 著 证明与布丁2018.7(美) 吉姆·亨勒, 著 Excel2007公式、函数、图表与数据处理从新手到高手2011.7《Excel2007公式、函数、图表与数据处理从新手到高手 : 全新版》编委会, 编著 证明2014.9(澳) 帕尔玛, 著 集与函数的泛论初阶2017.4(苏) 亚历山大罗夫, 著 函数2015.7潘国双, 主编 函数2015.12潘国双, 主编 诉讼证明责任与证明标准研究2012.9王圣扬, 著