Maxima是一种用LISP编写的计算机代数系统 (Computer Algebra System),用于公式推导和符号计算