symbolic mathematics

symbolic mathematics

(mathematics, application)(Or "symbolic math") The use ofcomputers to manipulate mathematical equations and expressionsin symbolic form, as opposed to manipulating the numericalquantities represented by those symbols. Such a system mightbe used for symbolic integration or differentiation,substitution of one expression into another, simplification ofan expression, change of subject etc.

One of the best known symbolic mathematics software packagesis 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.