MACSYMA

MACSYMA performs symbolic manipulation of algebraic equations. It solves a variety of mathemetical problems dealing with areas such as limits, solution of equations, and symbolic integration. The system employs a number of knowledge bases that can be chosen for a particular problem. The system is implemented in LISP and was developed at MIT.

Martin,W.A and R.J.Fateman, The MACSYMA system, Proceedings of the Second symposium on Symbolic and Algebraic Manipulation, 1971