内容简介

本书主要介绍了计算机代数系统的数学理论、经典结果和著名算法. 全书包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号极限、符号求和、符号积分、

微分方程符号解等10 个部分, 涵盖了构建计算机代数系统的最基础也是最重要的内容. 书中的许多内容是第一次被系统地整理后出现在中文文献中, 并在一些领域体现了本方向的最新进展.