Wolfram Language & System 10.0 (2014)|Legacy Documentation
The Wolfram Language's symbolic architecture allows it to represent any equation as a symbolic expression that can be manipulated using any of the Wolfram Language's powerful collection of symbolic operations.
Reduce — general algebraic reduction of equations, inequalities, etc.
Simplify — simplify each side of an equation
Series — series expand each side of an equation
N — evaluate each side of an equation numerically
LogicalExpand — expand out logical combinations of equations
Thread — convert to
CoefficientArrays — convert equations to matrices