书目详细信息 : 基于符号计算的非线性系统求解方法与技巧