[1] : The Free On-line Dictionary of Computing (27 SEP 03)

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
     
     
see also:
mathematica 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 lt;news:sci.math.symbolicgt; 

Mathematics >> M Words
Mathematics, definition of term: Mathematics
mathematics_pag1.html

Symbolic >> S Words
Symbolic, definition of term: Symbolic
symbolic_pag1.html

Symbolic Logic >> S Words
Symbolic Logic, definition of term: Symbolic Logic
symbolic+logic_pag1.html