方程求解与机器证明2006.09高小山等, 著 几何定理机器证明的基本原理2010.8吴文俊, 著 从求解多项式方程到阿贝尔不可能性定理2019.冯承天, 著 不等式机器证明与自动发现2007.杨路, 夏壁灿, 著 从求解多项式方程到阿贝尔不可能性定理2014.9冯承天, 著 几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著 积分方程求解及其机械化2008.11王玮明, 著 几何定理计算机证明2005.孙熙椿, 编 公理化集合论机器证明系统2019.12郁文生, 孙天宇, 付尧顺, 著 论初等几何定理的机器证明与消去法2016.3朱望规, 著 矩阵方程迭代求解方法研究2018.1张华民, 著 双线性方法在孤子方程中的应用2017.7郭婷婷, 著 证明方法论2020.9肖忆雪, 张锰霖, 卢玮, 著 素数分布方程理论与证明2017.11刘长华, 著 基于有限元离散的扩散方程保极值原理算法研究2016.8陈星玎, 著