## Symbolic Mathematical Laboratory

<*tool, mathematics*>

An on-line system under CTSS for symbolic mathematics. It used a display screen and a light pen.

[Sammet 1969, p.514].

Last updated: 1995-04-16

## symbolic mathematics

(Or "symbolic math") The use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, change of subject etc.

One of the best known symbolic mathematics software packages is Mathematica. Others include ALAM, ALGY, AMP, Ashmedai, AXIOM*, CAMAL, CAYLEY, CCalc, CLAM, CoCoA(?), ESP, FLAP, FORM, FORMAL, Formula ALGOL, GAP, JACAL, LiE, Macaulay, MACSYMA, Magic Paper, MAO, Maple, Mathcad, MATHLAB, MuMath, Nother, ORTHOCARTAN, Pari, REDUCE, SAC-1, SAC2, SAINT, Schoonschip, Scratchpad I, SHEEP, STENSOR, SYMBAL, SymbMath, Symbolic Mathematical Laboratory, TRIGMAN, UBASIC.

Usenet newsgropup: sci.math.symbolic.

Last updated: 1995-04-12

### Nearby terms:

symbolic logic ♦ **Symbolic Mathematical Laboratory** ♦ symbolic mathematics

Try this search on Wikipedia, OneLook, Google