现代计算代数详细讲述了CAS代数系统的具体原理,好书值得一看。

现代计算代数(Modern Computer Algebra, 3rd edition)第三版