用数字证明2008.( ) 采泽尔, ( ) 凯, 著 用业绩证明自己2007.02孙国志, 编著 用结果证明自己2011.张毅, 编著 证明2014.9(澳) 帕尔玛, 著 素数定理的初等证明2017.1潘承彪, 潘承洞, 著 数学证明2015.6萧文强, 著 拿业绩说话　用结果证明2010.12丁川, 著 用业绩证明自己的价值2012.7张艳红, 梁素娟, 编著 用数字说话2014.6卜新民, 著 用业绩证明自己的价值2008.05张艳红, 梁素娟, 编著 几何定理计算机证明2005.孙熙椿, 编 用结果证明自己的能力2013.1梁素娟, 廉勇, 编著 用数字说话2018.1(美) 苏珊·赫布斯特, 著 结构证明论2019.6马明辉, 编著 怎样证明数学题：第2版2009.07(美) 费林曼 (Velleman,D.J.) , 著