's symbolic architecture allows it to represent any equation as a symbolic expression that can be manipulated using any of Mathematica
's powerful collection of symbolic operations.
general algebraic reduction of equations, inequalities, etc.
simplify each side of an equation
series expand each side of an equation
evaluate each side of an equation numerically
expand out logical combinations of equations
convert equations to matrices
) — substitute equation solutions into any expression