Equations
Linear algebra
Elementary algebra
Equation solving
Unification
Linear inequality
Equation
Like terms
Implicit function
Consistent and inconsistent equations