Equations with integer coefficients to which integer solutions are sought. Because the results are restricted to integers, different algorithms must be used from those which find real solutions.
[More details?]