书目详细信息 : 符号计算程序分析:在线性代数、矩阵论中的应用