RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Матиясевич Юрий Владимирович

В базах данных Math-Net.Ru
Публикаций: 55
Научных статей: 39
Лекций и докладов: 24

Статистика просмотров:
Эта страница:9201
Страницы публикаций:23037
Полные тексты:8581
Списки литературы:828
Матиясевич Юрий Владимирович
академик РАН
профессор
доктор физико-математических наук (1973)
Дата рождения: 2.03.1947
Телефон: +7 (812) 571 43 92
Факс: +7 (812) 310 53 77
E-mail:
Сайт: http://logic.pdmi.ras.ru/~yumat
Ключевые слова: диофантовы уравнения, десятая проблема Гильберта, массовые проблемы алгебры, раскрашиваемость графов, дзета функция Римана.
Коды УДК: 510.53, 511.216, 511.331, 511.515, 511.53, 519.1, 51.01, 518.5, 511.5, 510.6, 511, 519.17, 519.65, 519.644.2, 510.57
Коды MSC: 03d03, 03d25, 03d35, 03d40, 05c15, 11d72, 11m26, 11u05

Основные темы научной работы

Алгоритмические проблемы алгебры и теории чисел; раскрашиваемость графов; дзета функция Римана.

Научная биография:

Окончил математико-механический факультет ЛГУ в 1969 г. Кандидатская диссертация — 1970 г. Докторская — 1972 г.
Доказал алгоритмическую нераспознаваемость наличия решений у диофантовых уравнений, решив тем самым десятую проблему Гильберта. Лауреат премии имени А. А. Маркова.
Опубликовал более 100 статей и одну монографию.

   
Основные публикации:
  1. Матиясевич Ю. В., Десятая проблема Гильберта, Наука, М., 1993  mathscinet  zmath

http://www.mathnet.ru/rus/person17715
http://scholar.google.com/citations?user=WnOjCtEAAAAJ&hl=ru
http://zbmath.org/authors/?q=ai:matiyasevich.yuri-v
https://mathscinet.ams.org/mathscinet/MRAuthorID/194889
http://elibrary.ru/author_items.asp?authorid=2790
http://orcid.org/0000-0001-7046-3746

Публикации в базе данных Math-Net.Ru
2018
1. Ю. В. Матиясевич, “Гипотеза Римана как чётность специальных биномиальных коэффициентов”, Чебышевский сб., 19:3 (2018),  46–60  mathnet  elib
2017
2. Ю. В. Матиясевич, “Небольшого количества сомножителей из эйлерова произведения достаточно для вычисления дзета-функции с большой точностью”, Тр. МИАН, 299 (2017),  192–202  mathnet  elib; Yu. V. Matiyasevich, “A few factors from the Euler product are sufficient for calculating the zeta function with high precision”, Proc. Steklov Inst. Math., 299 (2017), 178–188  isi  scopus
2016
3. Ю. В. Матиясевич, “Гипотеза Римана в терминах собственных чисел специальных ганкелевых матриц”, Совр. пробл. матем., 23 (2016),  87–101  mathnet  elib; Yu. V. Matiyasevich, “Riemann’s hypothesis in terms of the eigenvalues of special Hankel matrices”, Proc. Steklov Inst. Math., 296, suppl. 2 (2017), 78–91  isi  scopus
4. Yu. Matiyasevich, “Calculation of Belyǐ functions for trees with weighted edges”, Зап. научн. сем. ПОМИ, 446 (2016),  122–138  mathnet  mathscinet  scopus; J. Math. Sci. (N. Y.), 226:5 (2017), 623–634  scopus
2015
5. Ю. В. Матиясевич, “Дзета-функция Римана и конечные ряды Дирихле”, Алгебра и анализ, 27:6 (2015),  174–198  mathnet  mathscinet  elib; Yu. V. Matiyasevich, “Riemann's zeta function and finite Dirichlet series”, St. Petersburg Math. J., 27:6 (2016), 985–1002  isi  scopus
6. Ю. В. Матиясевич, “Еще одно представление для суммы величин, обратных к нетривиальным нулям дзета-функции Римана”, Матем. заметки, 97:3 (2015),  471–474  mathnet  mathscinet  zmath  elib; Yu. V. Matiyasevich, “Yet Another Representation for Reciprocals of the Nontrivial Zeros of the Riemann Zeta Function”, Math. Notes, 97:3 (2015), 476–479  isi  scopus
2011
7. Ю. В. Матиясевич, “Что можно и что невозможно делать с диофантовыми проблемами”, Тр. МИАН, 275 (2011),  128–143  mathnet  mathscinet  elib; Yu. V. Matiyasevich, “What can and cannot be done with Diophantine problems”, Proc. Steklov Inst. Math., 275 (2011), 118–132  isi  elib  scopus
2010
8. Ю. В. Матиясевич, “Альтернативы формуле Эйлера–Маклорена для вычисления бесконечных сумм”, Матем. заметки, 88:4 (2010),  543–548  mathnet  mathscinet; Yu. V. Matiyasevich, “Alternatives to the Euler–Maclaurin Formula for Calculating Infinite Sums”, Math. Notes, 88:4 (2010), 524–529  isi  scopus
9. Yu. Matiyasevich, “Towards finite-fold Diophantine representations”, Зап. научн. сем. ПОМИ, 377 (2010),  78–90  mathnet  scopus; J. Math. Sci. (N. Y.), 171:6 (2010), 745–752  scopus
2003
10. Ю. В. Матиясевич, “Диофантово представление чисел Бернулли и его приложения”, Тр. МИАН, 242 (2003),  98–102  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “A Diophantine Representation of Bernoulli Numbers and Its Applications”, Proc. Steklov Inst. Math., 242 (2003), 86–91
11. Ю. В. Матиясевич, “Один вероятностный эквивалент гипотезы четырех красок”, Теория вероятн. и ее примен., 48:2 (2003),  411–416  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “One Probabilistic equivalent of the four color conjecture”, Theory Probab. Appl., 48:2 (2004), 368–372  isi
2001
12. Ю. В. Матиясевич, “Некоторые алгебраические методы вычисления количества раскрасок графов”, Зап. научн. сем. ПОМИ, 283 (2001),  193–205  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Some algebraic methods for calculation of the number of colorings of a graph”, J. Math. Sci. (N. Y.), 121:3 (2004), 2401–2408
1996
13. Ю. В. Матиясевич, “Вычисление обобщенных многочленов Чебышева на компьютере”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1996, 6,  59–61  mathnet  mathscinet  zmath
1995
14. Ю. В. Матиясевич, “Новая техника для получения диофантовых представлений путем устранения ограниченных кванторов общности”, Зап. научн. сем. ПОМИ, 220 (1995),  83–92  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “A new technique for obtaining Diophantine representations via elimination of bounded universal quantifiers”, J. Math. Sci. (New York), 87:1 (1997), 3228–3233
1990
15. Ю. В. Матиясевич, А. Н. Терехов, Б. А. Федотов, “Унификация программного обеспечения микро-эвм на базе виртуальной машины”, Автомат. и телемех., 1990, 5,  168–175  mathnet  zmath; Yu. V. Matiyasevich, A. N. Terekhov, B. A. Fedotov, “Standardization of microcomputer software using virtual-machine design”, Autom. Remote Control, 51:5 (1990), 710–716
1989
16. Ю. В. Матиясевич, “Связи между некоторыми суммами по тривиальным и нетривиальным нулям дзета-функции Римана”, Матем. заметки, 45:2 (1989),  65–70  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “A relationship between certain sums over trivial and nontrivial zeros of the Riemann zeta-function”, Math. Notes, 45:2 (1989), 131–135  isi
1988
17. Ю. В. Матиясевич, “Диофантова сложность”, Зап. научн. сем. ЛОМИ, 174 (1988),  122–131  mathnet  mathscinet  zmath; Yu. V. Matijasevich, “Diophantine complexity”, J. Soviet Math., 55:2 (1991), 1603–1610
1984
18. Ю. В. Матиясевич, “Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел”, Тр. МИАН СССР, 168 (1984),  218–235  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Studies in certain algorithmic problems of algebra and number theory”, Proc. Steklov Inst. Math., 168 (1986), 227–252
19. Ю. В. Матиясевич, “Одно аналитическое представление для суммы величин, обратных к нетривиальным нулям дзета-функции Римана”, Тр. МИАН СССР, 163 (1984),  181–182  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “An analytic representation for the sum of values inverse to nontrivial zeros of the Riemann zeta function”, Proc. Steklov Inst. Math., 163 (1985), 211–213
1977
20. Ю. В. Матиясевич, “Простые числа перечисляются полиномом от 10 переменных”, Зап. научн. сем. ЛОМИ, 68 (1977),  62–82  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Primes are nonnegative values of a polynomial in 10 variables”, J. Soviet Math., 15:1 (1981), 33–44
21. Ю. В. Матиясевич, “Один класс критериев простоты, формулируемых в терминах делимости биномиальных коэффициентов”, Зап. научн. сем. ЛОМИ, 67 (1977),  167–183  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “A class of primality criteria formulated in terms of the divisibility of binomial coefficients”, J. Soviet Math., 16:1 (1981), 874–885
1976
22. Ю. В. Матиясевич, “Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов”, Зап. научн. сем. ЛОМИ, 60 (1976),  75–92  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “A new proof of the theorem on exponential diophantine representation of enumerable sets”, J. Soviet Math., 14:5 (1980), 1475–1486
1975
23. Ю. В. Матиясевич, “О метаматематическом подходе к доказательству теорем дискретной математики”, Зап. научн. сем. ЛОМИ, 49 (1975),  31–50  mathnet  mathscinet  zmath
1974
24. Ю. В. Матиясевич, “Одна схема доказательств в дискретной математике”, Зап. научн. сем. ЛОМИ, 40 (1974),  94–100  mathnet  mathscinet  zmath
25. Ю. В. Матиясевич, “Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений”, Зап. научн. сем. ЛОМИ, 40 (1974),  77–93  mathnet  mathscinet  zmath
1972
26. Ю. В. Матиясевич, “Применение методов теории логического вывода в теории графов”, Матем. заметки, 12:6 (1972),  781–790  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “The application of the methods of the theory of logical derivation to graph theory”, Math. Notes, 12:6 (1972), 904–908
27. Ю. В. Матиясевич, “Диофантово представление перечисленных предикатов”, Матем. заметки, 12:1 (1972),  115–120  mathnet  mathscinet; Yu. V. Matiyasevich, “Diophantine representation of enumerable predicates”, Math. Notes, 12:1 (1972), 501–504
28. Ю. В. Матиясевич, “Диофантовы множества”, УМН, 27:5(167) (1972),  185–222  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Diophantine sets”, Russian Math. Surveys, 27:5 (1972), 124–164
29. Ю. В. Матиясевич, “Арифметические представления перечислимых множеств с небольшим числом кванторов”, Зап. научн. сем. ЛОМИ, 32 (1972),  77–84  mathnet  mathscinet
1971
30. Ю. В. Матиясевич, “Диофантово представление множества простых чисел”, Докл. АН СССР, 196:4 (1971),  770–773  mathnet  mathscinet  zmath
31. Ю. В. Матиясевич, “Диофантово представление перечислимых предикатов”, Изв. АН СССР. Сер. матем., 35:1 (1971),  3–30  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, “Diophantine representation of enumerable predicates”, Math. USSR-Izv., 5:1 (1971), 1–28
32. Ю. В. Матиясевич, “О распознавании в реальное время отношения вхождения”, Зап. научн. сем. ЛОМИ, 20 (1971),  104–114  mathnet  mathscinet  zmath
33. Ю. В. Матиясевич, “Достаточное условие сходимости монотонных последовательностей”, Зап. научн. сем. ЛОМИ, 20 (1971),  97–103  mathnet  mathscinet  zmath
1970
34. Ю. В. Матиясевич, “Диофантовость перечислимых множеств”, Докл. АН СССР, 191:2 (1970),  279–282  mathnet  mathscinet  zmath
1968
35. Ю. В. Матиясевич, “Арифметические представления степеней”, Зап. научн. сем. ЛОМИ, 8 (1968),  159–165  mathnet  mathscinet  zmath
36. Ю. В. Матиясевич, “Две редукции 10-й проблемы Гильберта”, Зап. научн. сем. ЛОМИ, 8 (1968),  145–158  mathnet  mathscinet  zmath
37. Ю. В. Матиясевич, “Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта”, Зап. научн. сем. ЛОМИ, 8 (1968),  132–144  mathnet  mathscinet  zmath
1967
38. Ю. В. Матиясевич, “Простые примеры неразрешимых ассоциативных исчислений”, Докл. АН СССР, 173:6 (1967),  1264–1266  mathnet  mathscinet  zmath
39. Ю. В. Матиясевич, “Простые примеры неразрешимых канонических исчислений”, Тр. МИАН СССР, 93 (1967),  50–88  mathnet  mathscinet  zmath

2020
40. Л. Д. Беклемишев, А. В. Васильев, Е. П. Вдовин, С. С. Гончаров, В. В. Козлов, П. С. Колесников, В. Д. Мазуров, Ю. В. Матиясевич, А. С. Морозов, А. Н. Паршин, В. Г. Пузаренко, М. В. Швидефски, “Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)”, УМН, 75:3(453) (2020),  191–194  mathnet
41. С. И. Адян, В. М. Бухштабер, Е. И. Зельманов, С. В. Кисляков, В. В. Козлов, Ю. В. Матиясевич, С. П. Новиков, Д. О. Орлов, А. Н. Паршин, В. Л. Попов, Д. В. Трещев, “Владимир Петрович Платонов (к восьмидесятилетию со дня рождения)”, УМН, 75:2(452) (2020),  197–200  mathnet
2019
42. С. И. Адян, Н. Н. Андреев, Л. Д. Беклемишев, С. С. Гончаров, Ю. Л. Ершов, Ю. В. Матиясевич, Ю. С. Осипов, М. Р. Пентус, В. А. Плунгян, Е. В. Рахилина, В. А. Садовничий, А. Л. Семёнов, С. Г. Татевосов, В. М. Тихомиров, А. Х. Шень, “Владимир Андреевич Успенский (27.11.1930–27.06.2018)”, УМН, 74:4(448) (2019),  165–180  mathnet  elib; S. I. Adian, N. N. Andreev, L. D. Beklemishev, S. S. Goncharov, Yu. L. Ershov, Yu. V. Matiyasevich, Yu. S. Osipov, M. R. Pentus, V. A. Plungyan, E. V. Rakhilina, V. A. Sadovnichii, A. L. Semenov, S. G. Tatevosov, V. M. Tikhomirov, A. Kh. Shen, “Vladimir Andreevich Uspensky (27/11/1930–27/6/2018)”, Russian Math. Surveys, 74:4 (2019), 735–753  isi
2016
43. С. А. Айвазян, В. Б. Алексеев, В. А. Ватутин, М. М. Глухов, А. А. Грушо, В. А. Емеличев, А. М. Зубков, Г. И. Ивченко, О. М. Касим-Заде, В. А. Каштанов, И. Н. Коваленко, В. Б. Кудрявцев, В. В. Мазалов, Ю. В. Матиясевич, Ю. И. Медведев, В. Г. Михайлов, Ю. Л. Павлов, Б. А. Погорелов, Э. А. Применко, Л. Я. Савельев, В. Н. Сачков, С. А. Степанов, В. П. Чистяков, В. Н. Чубариков, “Валентин Федорович Колчин (1934–2016)”, Дискрет. матем., 28:4 (2016),  3–5  mathnet  mathscinet  elib
2013
44. Ю. В. Матиясевич, “Алан Тьюринг и теория чисел”, Матем. просв., сер. 3, 17 (2013),  6–34  mathnet
45. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов, “Николай Александрович Шанин (некролог)”, УМН, 68:4(412) (2013),  173–176  mathnet  mathscinet  elib; M. A. Vsemirnov, È. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, I. D. Zaslavskii, È. F. Karavaev, B. Yu. Konev, N. K. Kossovskii, V. A. Lifschitz, M. Margenstern, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, R. Pliuškevičius, A. O. Slisenko, S. V. Solov'ev, V. P. Chernov, “Nikolai Aleksandrovich Shanin (obituary)”, Russian Math. Surveys, 68:4 (2013), 763–767  isi  elib  scopus
46. Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт, “Михаил Абрамович Тайцлин (1936–2013)”, Сиб. электрон. матем. изв., 10 (2013),  54–65  mathnet
2012
47. Юхани Кархюмяки, Юрий Матиясевич, “Предисловие”, Зап. научн. сем. ПОМИ, 402 (2012),  5–8  mathnet
2010
48. D. R. Heath-Brown, A. MacIntyre, Yu. I. Manin, Yu. V. Matiyasevich, B. Z. Moroz, “Preface”, Зап. научн. сем. ПОМИ, 377 (2010),  5  mathnet  scopus; J. Math. Sci. (N. Y.), 171:6 (2010), 703  scopus
2003
49. Ю. В. Матиясевич, “Предисловие редактора”, Зап. научн. сем. ПОМИ, 304 (2003),  5–6  mathnet
2001
50. М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к восьмидесятилетию со дня рождения)”, УМН, 56:3(339) (2001),  181–184  mathnet  mathscinet  zmath; M. A. Vsemirnov, E. A. Hirsch, D. Yu. Grigor'ev, G. V. Davydov, E. Ya. Dantsin, A. A. Ivanov, B. Yu. Konev, V. A. Lifshits, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his 80th birthday)”, Russian Math. Surveys, 56:3 (2001), 601–605  isi
1991
51. Ю. В. Матиясевич, “R. Penrose. “The emperor's new mind”. Oxford University Press, Oxford etc., 1989, xiii+466 pp.”, Алгебра и анализ, 3:5 (1991),  254–265  mathnet
1990
52. Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к семидесятилетию со дня рождения)”, УМН, 45:1(271) (1990),  205–206  mathnet  mathscinet  zmath; Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his seventieth birthday)”, Russian Math. Surveys, 45:1 (1990), 239–240  isi
1984
53. Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин, “Сергей Юрьевич Маслов (некролог)”, УМН, 39:2(236) (1984),  129–130  mathnet  mathscinet; G. V. Davydov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, A. V. Sochilina, N. A. Shanin, “Sergei Yur'evich Maslov (obituary)”, Russian Math. Surveys, 39:2 (1984), 133–135  isi
1980
54. С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, “Николай Александрович Шанин (к шестидесятилетию со дня рождения)”, УМН, 35:2(212) (1980),  241–245  mathnet  mathscinet  zmath; S. Yu. Maslov, Yu. V. Matiyasevich, G. E. Mints, V. P. Orevkov, A. O. Slisenko, “Nikolai Aleksandrovich Shanin (on his sixtieth birthday)”, Russian Math. Surveys, 35:2 (1980), 277–282  isi
1971
55. Ю. В. Матиясевич, А. О. Слисенко, “Предисловие редакторов”, Зап. научн. сем. ЛОМИ, 20 (1971),  7  mathnet

Доклады и лекции в базе данных Math-Net.Ru
1. $\Pi^0_1$-формулировки некоторых известных проблем
Ю. В. Матиясевич
Традиционная зимняя сессия МИАН–ПОМИ, посвященная теме «Математическая логика»
24 декабря 2018 г. 12:00   
2. Вычислительные аспекты теоремы Гамбургера
Ю. В. Матиясевич
XV Международная конференция «Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения», посвященная столетию со дня рождения профессора Николая Михайловича Коробова
28 мая 2018 г. 12:20
3. Приближение дзета-функции Римана с помощью конечных эйлеровых произведений
Yu. V. Matiyasevich
Конференция по теории чисел и приложениям в честь 80-летия А. А. Карацубы
24 мая 2017 г. 12:40   
4. Вычисление дзета-функции Римана с помощью интерполяционных определителей
Ю. В. Матиясевич
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
1 апреля 2013 г. 13:00   
5. Some non-standard methods to perform calculations with Riemann's Zeta function
Yu. V. Matiyasevich
Семинар «Глобус» (записи с 2011 года)
22 ноября 2012 г. 15:40   
6. Алан Тьюринг и теория чисел (к столетию со дня рождения)
Ю. В. Матиясевич
Заседания Санкт-Петербургского математического общества
9 октября 2012 г. 18:00   
7. Alan Turing and Number Theory
Yu. V. Matiyasevich
Alan Turing Centenary Conference Manchester, 2012
23 июня 2012 г. 11:30
8. Один способ вычисления нулей дзета-функции Римана
Ю. В. Матиясевич
Интернет-видео конференция «День математика и механика»
19 сентября 2011 г. 12:30
9. Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями. Лекция 5
Ю. В. Матиясевич
Летняя школа «Современная математика», 2011
28 июля 2011 г. 11:15   
10. Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями. Лекция 4
Ю. В. Матиясевич
Летняя школа «Современная математика», 2011
27 июля 2011 г. 17:00   
11. Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями. Лекция 3
Ю. В. Матиясевич
Летняя школа «Современная математика», 2011
25 июля 2011 г. 17:00   
12. Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями. Лекция 2
Ю. В. Матиясевич
Летняя школа «Современная математика», 2011
24 июля 2011 г. 17:00   
13. Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями. Лекция 1
Ю. В. Матиясевич
Летняя школа «Современная математика», 2011
22 июля 2011 г. 12:45   
14. What can we do with Diophantine problems and what we cannot do
Yuri Matiyasevich
Международная конференция «Геометрия, топология, алгебра и приложения», посвященная 120-летию Бориса Николаевича Делоне (1890–1980)
20 августа 2010 г. 11:10   
15. Математическое доказательство: вчера, сегодня, завтра
Ю. В. Матиясевич
Заседания Санкт-Петербургского математического общества
23 марта 2010 г.
16. Десятая проблема Гильберта и модели вычислительных процессов
Ю. В. Матиясевич
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
16 декабря 2009 г. 16:05   
17. Тайная жизнь дзета-функции Римана
Ю. В. Матиясевич
Общеинститутский семинар «Математика и ее приложения» Математического института им. В.А. Стеклова Российской академии наук
18 декабря 2008 г. 16:00   
18. Hilbert's tenth problem III
Ю. В. Матиясевич
The International conference "Methods of Logic in Mathematics V", June 1–7, 2008, Saint-Petersburg, Russia
6 июня 2008 г. 10:00
19. Hilbert's tenth problem II
Ю. В. Матиясевич
The International conference "Methods of Logic in Mathematics V", June 1–7, 2008, Saint-Petersburg, Russia
5 июня 2008 г. 10:00
20. Hilbert's tenth problem I
Ю. В. Матиясевич
The International conference "Methods of Logic in Mathematics V", June 1–7, 2008, Saint-Petersburg, Russia
3 июня 2008 г. 14:30
21. Тайная жизнь дзета-функции Римана
Ю. В. Матиясевич
Общеинститутский математический семинар Санкт-Петербургского отделения Математического института им. В. А. Стеклова РАН
8 октября 2007 г.
22. Алгебра – это геометрия для лентяев. Лекция 2
Ю. В. Матиясевич
Летняя школа «Современная математика», 2004
25 июля 2004 г. 15:30   
23. Алгебра – это геометрия для лентяев. Лекция 1
Ю. В. Матиясевич
Летняя школа «Современная математика», 2004
24 июля 2004 г. 15:30   
24. Десятая проблема Гильберта: что можно и что нельзя делать с диофантовыми уравнениями
Ю. В. Матиясевич
Заседания Санкт-Петербургского математического общества
19 сентября 2003 г.

Книги в базе данных Math-Net.Ru
  1. Комбинаторика и теория графов. V, Зап. научн. сем. ПОМИ, 446, ред. Г. А. Джонс, А. К. Звонкин, Ю. В. Матиясевич, 2016, 224 с.
    http://mi.mathnet.ru/book1633
  2. Комбинаторика и теория графов. IV, Первый Российско-финский симпозиум по дискретной математике (специальный выпуск), Зап. научн. сем. ПОМИ, 402, ред. Ю. В. Матиясевич, Ю. Кархюмяки, 2012, 221 с.
    http://mi.mathnet.ru/book1443
  3. Исследования по теории чисел. 10, Зап. научн. сем. ПОМИ, 377, ред. А. Макинтайр, Ю. И. Манин, Ю. В. Матиясевич, Б. З. Мороз, Д. Р. Хис-Браун, 2010, 245 с.
    http://mi.mathnet.ru/book1323
  4. Теория сложности вычислений. VIII, Зап. научн. сем. ПОМИ, 304, ред. Ю. В. Матиясевич, 2003
    http://mi.mathnet.ru/book397
  5. Исследования по конструктивной математике и математической логике. VIII, Зап. научн. сем. ЛОМИ, 88, ред. Ю. В. Матиясевич, А. О. Слисенко, 1979, 252 с.
    http://mi.mathnet.ru/book795
  6. Исследования по конструктивной математике и математической логике. VII, Зап. научн. сем. ЛОМИ, 60, ред. Ю. В. Матиясевич, А. О. Слисенко, 1976
    http://mi.mathnet.ru/book500
  7. Исследования по конструктивной математике и математической логике. VI, Зап. научн. сем. ЛОМИ, 40, ред. Ю. В. Матиясевич, А. О. Слисенко, 1974, 163 с.
    http://mi.mathnet.ru/book536
  8. Исследования по конструктивной математике и математической логике. V, Зап. научн. сем. ЛОМИ, 32, ред. Ю. В. Матиясевич, А. О. Слисенко, 1972, 162 с.
    http://mi.mathnet.ru/book535
  9. Исследования по конструктивной математике и математической логике. IV, Зап. научн. сем. ЛОМИ, 20, ред. Ю. В. Матиясевич, А. О. Слисенко, 1971, 294 с.
    http://mi.mathnet.ru/book534

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020