符号运算软件。Maxima，用lisp语言实现的。