计算机代数学

本书阐述如何使计算机能自动推导数学公式、求数学问题的解析解（非数值解）问题， 重点是计算机自动推导数学公式的理论、算法及设计实现计算机代数语言的基本理论.