Maxima官方版是一款采用LISP编写计算机代数系统,MIT的Macsyma就是Maxima官方版的前身,Maxima官方版具备公式推导、符号计算、数值计算等功能,是一个系统的操纵的象征和数值表现形式。