Symbolic Mathematical Laboratory
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
(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
symbolic logic ♦ Symbolic Mathematical Laboratory ♦ symbolic mathematics
Try this search on Wikipedia, Wiktionary, Google, OneLook.