symbolic algebraic manipulation language

symbolic algebraic manipulation language

[sim′bäl·ik ‚al·jə′brā·ik mə‚nip·yə′lā·shən ‚laŋ·gwij]
(computer science)
An algebraic manipulation language which admits the most general species of mathematical expressions, usually representing them as general tree structures, but which lacks certain special algorithms found in seminumerical and ghost languages.