This is documentation for Mathematica 7, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)
Manipulating Equations
Mathematica'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.
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 {a, b}Equal{u, v} to {aEqualu, bEqualv}
CoefficientArrays convert equations to matrices
ReplaceAll (/.) — substitute equation solutions into any expression