中考几何证明题分析与训练2003.06叶天碧等, 编
几何定理机器证明的几何不变量方法2015.4张景中, 高小山, 周咸青, 著
几何定理机器证明的基本原理2010.8吴文俊, 著
距离几何分析导引2015.2张晗方, 著
几何与分析2010.9季理真, 主编
几何与分析2010.9季理真, 主编
几何分析进展2011.11(波) 简思科, 李俊, (越南) 冯, 编
几何定理计算机证明2005.孙熙椿, 编
平面解析几何一题多变2010.4吴维平, 主编
几何分析最新进展2009.9李莹英, 林长寿, 崔茂培, 主编
论初等几何定理的机器证明与消去法2016.3朱望规, 著
复分析与几何引论2017.2(美) 约翰·P·迪·安格罗 (John P.D Angelo) , 著
几何分析手册2008.08季理真等, 主编
几何分析综述. 20182019.5田刚, 主编
几何分析综述. 20192020.6田刚, 韩青, 张振雷, 著