Definition
Symbolic Computation
Symbolic computation is computation over expressions represented as symbols. It transforms these expressions by formal rules rather than by numerical approximation.
A symbolic system treats the shape of an expression as data. Typical operations are substitution, simplification, rewriting, differentiation, factorisation, and solving equations.