本书介绍计算机代数的基本概念、方法、软件和部分应用。全书共分8章，论述大整数和多项式的表示与基本运算、结式与子结式、模方法与多项式的最大公因子、p进方法与多项式的因子分解、特征列方法、Grobner基方法和实闭域上的量词消去。书中给出了基本算法的复杂度估计，并综述了各种计算机代数系统。本书侧重于基础知识、经典结果和著名算法，但也包含了少量最新研究成果。 本书可作为高等院校数学系和计算机科学系高年级学生及研究生的教材，也可供有关科研和工程技术人员参考。