Алгебраические уравнения или системы алгебраических уравнений с целыми коэффициентами, имеющими число неизвестных, превосходящее число уравнений, и у которых разыскиваются целые или рациональные решения получили название диофантовых уравнений.
Проблема решения уравнений в целых числах решена до конца только для уравнений с одним неизвестным, для уравнений первой степени и для уравнений второй степени с двумя неизвестными. Для уравнений выше второй степени с двумя или более неизвестными трудной является даже задача доказательства существования целочисленных решений. Более того, доказано, что не существует единого алгоритма, позволяющего за конечное число шагов решать в целых числах произвольные диофантовы уравнения