本书作为maTHμ系统的理论文档，是maTHμ项目组成员通过近一年半时间集体整理撰写的成果。全书包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号极限、符号求和、符号积分、微分方程符号解等十个大部分，涵盖了构建计算机代数系统的最基础也是最重要的内容。整本书的内容组织也大体符合构建计算机代数系统的逻辑顺序。

本书主要介绍了计算机代数系统的数学理论、经典结果和著名算法。全书包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号极限、符号求和、符号积分、微分方程符号解等10个部分，涵盖了构建计算机代数系统的最基础也是最重要的内容。书中的许多内容是第一次被系统地整理后出现在中文文献中，并在一些领域体现了本方向的最新进展。

第1章 高精度运算

第2章 素数判定

第3章 整数因子分解

第4章 基础数论算法

第5章 数学常数

第6章 线性代数

第7章 一元多项式求值和插值

第8章 一元多项式的最大公因子

第9章 有限域上多项式因子分解

第10章 整系数多项式因子分解

第11章 多元多项式

第12章 一元多项式求根算法

第13章 代数方程组求解

第14章 符号极限

第15章 符号求和

第16章 符号积分

第17章 微分方程符号解

附录A maTHμ系统简介

索引

参考文献