实定理的复证明2017.2(美) 彼得·D·拉克斯 (Peter D.Lax) , (美) 劳伦斯·查克曼 (Lawrence Zalcman) , 著 素数定理的初等证明2017.1潘承彪, 潘承洞, 著 几何定理机器证明的基本原理2010.8吴文俊, 著 费马大定理的证明与启示2007.11周明儒, 编 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著 几何定理计算机证明2005.孙熙椿, 编 整数的和分拆与费马大定理的初等证明2005.11汤兴华, 晏建学, 著 交互式定理证明与程序开发2009.(德) 伯托特 (Bertot,Y.) , (德) 卡斯特兰 (Casteran,P.) , 著 挑战思维极限2016.李迈新, 编著 费马大定理的一万个初等证明2015.6汤兴华, 叶琼伟, 著 从切比雪夫到爱尔特希2012.12(法) 阿达玛, (日) 黑川信重, (澳) 陶哲轩, 著 从切比雪夫到爱尔特希2013.7潘承彪, 著 论初等几何定理的机器证明与消去法2016.3朱望规, 著 刑事证明理论2004.04卞建林, 主编 实践的证明2012.6《实践的证明 : 中国奇迹诠释科学发展观》编写组, 编