李超，阮威，张龙等编著2010 年出版377 页ISBN：9787302230106
本书主要介绍了计算机代数系统的数学理论、经典结果和著名算法。
衷仁保，马建著1996 年出版250 页ISBN：7030051769
本书阐述如何使计算机能自动推导数学公式、求数学问题的解析解（非数值解）问题， 重点是计算机自动推导数学公式的理论、算法及设计实现计算机代数语言的基本理论....
（美）福赛思（G.E.Forsythe），（美）莫勒（C.B.Moler）著；徐树荣译1979 年出版143 页ISBN：13031·1112
范恩贵著2004 年出版178 页ISBN：703013043X
本书介绍了作者在孤立子和可积系统方面的研究成果以及吴方法和符号运算在这一领域的应用，整理收集了作者在研究过程中发现的200余个偏微分方程。...
边少锋，许江宁编著2004 年出版210 页ISBN：7118033731
本书结合大地测量实际介绍计算机代数系统在椭球大地测量、大地测量数据处理、物理大地测量等方面的应用。
