**The Free On-line Dictionary of Computing (30 December 2018):**

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: news:sci.math.symbolic.
(1995-04-12)