全书共分三篇。篇介绍了21种平面几何证明方法；第二篇介绍了14种常见问题的求解思路；第三篇介绍了几何图形的基本性质，如三角形中的巧合点问题、三角形中的数量及位置关系问题等。本书在归纳、总结平面几何的概念、定理、公式的基础上，更贴近数学竞赛的命题方向、命题内容。适合于初高中学生尤其是数学竞赛选手、初高中数学教师和中学数学奥林匹克教练员使用，也可作为高等师范院校、教育学院、教师进修学院数学专业开设的“竞赛数学”课程教材及。省级骨干教师培训班参考用书。
《高等学校教材：线性代数》突出线性代数的基本概念、基本理论及基本计算，内容共6章，包括：行列式；矩阵；n维向量，秩，线性方程组；特征值和特征向量，矩阵的对角化；实二次型；线性空间与线性变换。全书层次清楚，阐述深入浅出，简明扼要，配有难度不同的例题和习题，同时汇编了近十年的全国硕士研究生入学统一考试中的线性代数试题。 《高等学校教材：线性代数》可作为高等学校非数学类专业线性代数课程的教材（适用于36～50学时）或教学参考书和考研复习用书。
《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。
