Изменения
Нет описания правки
}}
Наряду с отдельными диофантовыми уравнениями, Дэвис рассмотрел семейства диофантовых уравнений вида:
<tex>P(a_1, a_2, ..., a_m, x_1, x_2, ..., x_n)=0</tex>, где <tex>P</tex> – многочлен с целыми коэффициентами, <tex>a_1, a_2, ..., a_m\in\mathbb{Z}</tex> {{---}} параметры,
<tex>x_1, x_2,..., x_n\in\mathbb{Z}</tex> {{---}} переменные.
