书籍介绍
《计算机代数系统的数学原理》主要介绍了计算机代数系统的数学理论、经典结果和著名算法。全书包含高精度运算、数论、数学常数、精确线性代数、多项式、方程求解、符号极限、符号求和、符号积分、微分方程符号解等10个部分，涵盖了构建计算机代数系统的最基础也是最重要的内容。书中的许多内容是第一次被系统地整理后出现在中文文献中，并在一些领域体现了本方向的最新进展。
用户评论
一群雄心勃勃的年轻人，试图探究Mathematica背后的原理，并造出超越百度谷歌的语义推理搜索引擎。
maTH的整体系统架构设计，大致理解了matlab和mathmatics的大致思路。用户的输入命令在图形前端中被储
存为适宜使用类TEX 算法绘制的盒子模型对象, 输入命令线性化后通过通信层递给解释器. 解释器通过词法分析及语法分析将命令解析为表达式树, 然后由求
值器进行逐层求值, 将计算结果再通过通信层传回图形前端显示为图形公式。其次，这本书真正讲解了数学公式如何在计算机的实现问题的算法。一元多项式的系数表示与点值表示之间是可以相互转换的, 系数表示到点值
表示的转换就是一元多项式多点求值, 而点值表示到系数表示的转换就是一元多
项式插值.多元多项式的最大公因子和因子分解问题, 和一元问题类似, 我们也主要采用各种同态象的方法, 以求将多元问题转化为一元问题求解
符号计算方面不多的书
https://www.zhihu.com/answer/1528269456
学习符号计算的不二之选