... The major purpose of a Computer Algebra System (CAS) is to manipulate a formula symbolically using the computer. ... Axiom -- a computer algebra system with powerful symbolic solver. bernina -- interactive program with interface to a computer algebra library. ... CoCoA -- a special-purpose system for doing Computations in Commutative Algebra. ... MAXIMA -- computer algebra system for symbolic and numerical computations. ... Punimax -- computer algebra system for symbolic and numerical computations. ...