加载中…
Hilbert’s Tenth Problem over the integers was solved negatively by Y. Matiyasevich in 1970. In this paper, we prove that there is no algorithm to determine for any polynomial equation (with integer coefficients and ten unknowns) whether it has integer solutions. This improves the previous 11 unknowns theorem.

生成讲解博客的中文版本

生成AI智能校验的中文版本