<\body> is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. Axiom has been in development since 1973 and was sold as a commercial product. It has been released as free software (under a BSD-like license). Efforts are underway to extend this software to <\itemize> Develop a better user interface; Make it useful as a teaching tool; Develop an algebra server protocol; Integrate additional mathematics; Rebuild the algebra in a literate programming style; Integrate logic programming; Develop an Axiom Journal with refereed submissions. Axiom web page : Axiom project : <\initial> <\collection> <\references> <\collection> > > > > > > > > > > > > > > > > > >