計(jì)算機(jī)代數(shù)系統(tǒng) Maxima

Maxima是一種用Common Lisp開發(fā)的計(jì)算機(jī)代數(shù)系統(tǒng)（或符號計(jì)算系統(tǒng)），用于公式推導(dǎo)、符號計(jì)算、數(shù)值計(jì)算等。

類似的商業(yè)產(chǎn)品有美國Wolfram Research公司的Mathematica、加拿大滑鐵盧大學(xué)的Maple（其計(jì)算機(jī)代數(shù)系統(tǒng)核心作為Matlab的符號計(jì)算系統(tǒng)）等等。