Mathematical Software
The following list of systems is highly selective and very incomplete. SymbolicNet includes links to many, many others.
GAP - Groups, Algorithms, and Programming A freely available system for computational discrete algebra with particular emphasis on, but not restricted to, computational group theory.
MAGMA: A large software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.
MAPLE: A commercial computer algebra system originating at the University of Waterloo. This is widely used for computation in science and engineering, and for mathematical education.
Mathematica: Another computer algebra system that is widely used in computations for science and engineering, and for mathematical education.
Yet Another Computer Algebra System (YACAS): A general purpose computer algebra system that is freely available.
MathML: A low-level specification for describing mathematics as a basis for machine-to-machine communication, which provides a foundation for the inclusion of mathematical expressions on web pages.
OpenMath: An extensible standard for the representation of mathematical objects.
This page was most recently changed on Tuesday, September 2, 2003 by Wayne Eberly.