吴勃英等编2000 年出版207 页ISBN：7560315410
本书内容包括：一元多项式；行列式；矩阵；向量与线性空间等内容。
孙熙椿编著2007 年出版207 页ISBN：703015505X
本书全面总结了中国数学家对几何定理机器证明的重要成果，内容包括欧氏几何的完善与发展、几何定理机器证明的发展概况、吴文俊机械化方法、张景中消点算法等。...
虞金龙主编2006 年出版259 页ISBN：7807350776
本书讲述数列与数学归纳法，并有重点解题，难点分析，从而培养高中生对数学与解题能力，对高考有一定的帮助。
（美）彼得森（Petersen，Peter）编著2007 年出版401 页ISBN：7030182944
本书不仅包含了黎曼几何中的基础知识，而且介绍了许多更深入的方向及其背景，同时介绍了很多最新的研究进展，便于读者在该领域开展更深入的研究。书中配有习题，便于读者加深对知识的理解。...
李家友著2010 年出版41 页ISBN：9787229017002
本书是针对素描初学者而著作，主要收录了素描学习中最基础的几何形体作品，各种类型的形体也是现实中静物形象的归纳，适合读者自学用。
Richard Hartley，Andrew Zisserman著；韦穗等译2002 年出版468 页ISBN：7810525034
