春天的证明2003.10李三月, 著 人性的证明2003.(日) 森村诚一, 著 野性的证明2012.5(日) 森村诚一, 著 证明的教学2015.12(美) 斯蒂利亚努, (美) 布兰顿, (美) 克努特, 编著 思想的结果2019.1(美) 史普罗 (R.C. Sproul) , 著 权益的证明2003.03王进, 主编 成功的证明2003.10童昌森, 著 人性的证明2003.05(日) 森村诚一, 著 青春的证明2005.11南京市教育局, 编 记忆的证明2009.12许斐, 著 记忆的证明2007.01上海文广新闻传媒集团电视新闻中心, 主编 历史的证明2011.5廊坊日报社, 编著 历史的证明2011.5廊坊日报社, 编著 青春的证明2012.5(日) 森村诚一, 著 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著