论初等几何定理的机器证明与消去法2016.3朱望规, 著 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著 几何定理机器证明的基本原理2010.8吴文俊, 著 几何定理计算机证明2005.孙熙椿, 编 素数定理的初等证明2017.1潘承彪, 潘承洞, 著 三角形内角平分线性质定理的210种证法2018.9谢细华, 谭云奇, 王卫东, 著 Alexandrov定理2018.1杨世明, 编译 整数的和分拆与费马大定理的初等证明2005.11汤兴华, 晏建学, 著 实定理的复证明2017.2(美) 彼得·D·拉克斯 (Peter D.Lax) , (美) 劳伦斯·查克曼 (Lawrence Zalcman) , 著 初等几何研究2015.2左铨如, 季素月, 编著 初等几何研究2012.5张虹, 宿维军, 编著 初等几何研究2012.1邓鹏, 康纪权, 孙海, 编著 初等几何研究2014.6李晟, 李长明, 编 初等几何研究2013.4潘继军, 主编 费马大定理的一万个初等证明2015.6汤兴华, 叶琼伟, 著