Davis M., Matiyasevich Yu.V., RobinsonJ ...

Новости

27 Января, 2025 «Базис» и ИСП РАН при поддержке «Фобос-НТ» обнаружили уязвимости в популярном открытом ПО виртуализации

13 Января, 2025 11 января 2025 года ушла из жизни Екатерина Михайловна Лаврищева

24 Декабря, 2024 На Открытой конференции ИСП РАН 2024 обсудили безопасность российского ПО и технологий искусственного интеллекта

Davis M., Matijasevič Y. V., Robinson J.

[1976]

Hilbert’s tenth problem. Diophantine equations: positive aspects of a negative solution,

Mathematical Development arising from Hilbert’s problems, Proc. Conf. on the Hilbert Problems (Ill ois, 1974), Amer. Math. Soc., Providence, R.I., 323-378

article

Вернуться к поиску