Programs such as MathCAD call the process "symbolic processing." Wikipedia calls such programs "Computer Algebra Systems."

You may want to take a look at Math::Symbolic, Math::Algebra::Symbols, and Math::Expr.

Update: See also Evaluate Expressions.