书目详细信息 : 符号计算在可积系统中的应用