证明函数式相等的方法2016.12谷学勤, 编著 证明方法论2020.9肖忆雪, 张锰霖, 卢玮, 著 怎样证明数学题：第2版2009.07(美) 费林曼 (Velleman,D.J.) , 著 求函数解析式的方法2014.6谷学勤, 编著 样条函数方法2015.11李岳生, 齐东旭, 著 不等式机器证明与自动发现2007.杨路, 夏壁灿, 著 证明方法与理论2015.11张寅生, 著 函数导数与推理证明2017.12郭键, 主编 可拓初等关联函数的扩展研究及应用2018.4陈孝国, 著 函数式编程思维2015.9(美) 福特 (Ford,N.) , 著 函数式编程思想2015.2(美) 弗德 (Ford,N.) , 著 实践的证明2012.6《实践的证明 : 中国奇迹诠释科学发展观》编写组, 编 民事证明的原理与方法2012.11张峰, 著 刑事证明方法与技巧2008.01陈为钢, 张少林, 著 刑事证明方法与技巧2012.8陈为钢, 张少林, 著