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

В базах данных Math-Net.Ru
Публикаций: 47 (34)
Цитированных статей: 19
Ссылок в Math-Net.Ru: 56
Лекций и докладов: 22

Статистика просмотров:
Эта страница:6575
Страницы публикаций:15987
Полные тексты:5194
Списки литературы:574
Матиясевич Юрий Владимирович
академик РАН
профессор
доктор физико-математических наук (1973)
Дата рождения: 02.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 г.
Доказал алгоритмическую нераспознаваемость наличия решений у диофантовых уравнений, решив тем самым десятую проблему Гильберта. Лауреат премии имени А. А. Маркова. Заведующий лабораторией математической логики Санкт-Петербургского отделения МИАН.
Опубликовал более 50 статей и одну монографию.

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

http://www.mathnet.ru/rus/person17715
Список публикаций на Google Scholar
http://zbmath.org/authors/?q=ai:matiyasevich.yuri-v
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=194889
http://elibrary.ru/author_items.asp?authorid=2790

Публикации в базе данных Math-Net.Ru
1. Гипотеза Римана в терминах собственных чисел специальных ганкелевых матриц
Ю. В. Матиясевич
Совр. пробл. матем., 23 (2016),  87–101
2. Calculation of Belyǐ functions for trees with weighted edges
Yu. Matiyasevich
Зап. научн. сем. ПОМИ, 446 (2016),  122–138
3. Дзета-функция Римана и конечные ряды Дирихле
Ю. В. Матиясевич
Алгебра и анализ, 27:6 (2015),  174–198
4. Еще одно представление для суммы величин, обратных к нетривиальным нулям дзета-функции Римана
Ю. В. Матиясевич
Матем. заметки, 97:3 (2015),  471–474
5. Что можно и что невозможно делать с диофантовыми проблемами
Ю. В. Матиясевич
Тр. МИАН, 275 (2011),  128–143
6. Альтернативы формуле Эйлера–Маклорена для вычисления бесконечных сумм
Ю. В. Матиясевич
Матем. заметки, 88:4 (2010),  543–548
7. Towards finite-fold Diophantine representations
Yu. Matiyasevich
Зап. научн. сем. ПОМИ, 377 (2010),  78–90
8. Диофантово представление чисел Бернулли и его приложения
Ю. В. Матиясевич
Тр. МИАН, 242 (2003),  98–102
9. Один вероятностный эквивалент гипотезы четырех красок
Ю. В. Матиясевич
Теория вероятн. и ее примен., 48:2 (2003),  411–416
10. Некоторые алгебраические методы вычисления количества раскрасок графов
Ю. В. Матиясевич
Зап. научн. сем. ПОМИ, 283 (2001),  193–205
11. Новая техника для получения диофантовых представлений путем устранения ограниченных кванторов общности
Ю. В. Матиясевич
Зап. научн. сем. ПОМИ, 220 (1995),  83–92
12. Унификация программного обеспечения микро-эвм на базе виртуальной машины
Ю. В. Матиясевич, А. Н. Терехов, Б. А. Федотов
Автомат. и телемех., 1990, № 5,  168–175
13. Связи между некоторыми суммами по тривиальным и нетривиальным нулям дзета-функции Римана
Ю. В. Матиясевич
Матем. заметки, 45:2 (1989),  65–70
14. Диофантова сложность
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 174 (1988),  122–131
15. Об исследованиях по некоторым алгорифмическим проблемам алгебры и теории чисел
Ю. В. Матиясевич
Тр. МИАН СССР, 168 (1984),  218–235
16. Одно аналитическое представление для суммы величин, обратных к нетривиальным нулям дзета-функции Римана
Ю. В. Матиясевич
Тр. МИАН СССР, 163 (1984),  181–182
17. Простые числа перечисляются полиномом от 10 переменных
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 68 (1977),  62–82
18. Один класс критериев простоты, формулируемых в терминах делимости биномиальных коэффициентов
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 67 (1977),  167–183
19. Новое доказательство теоремы об экспоненциально диофантовом представлении перечислимых предикатов
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 60 (1976),  75–92
20. О метаматематическом подходе к доказательству теорем дискретной математики
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 49 (1975),  31–50
21. Одна схема доказательств в дискретной математике
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 40 (1974),  94–100
22. Существование неэффективизируемых оценок в теории экспоненциально диофантовых уравнений
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 40 (1974),  77–93
23. Применение методов теории логического вывода в теории графов
Ю. В. Матиясевич
Матем. заметки, 12:6 (1972),  781–790
24. Диофантово представление перечисленных предикатов
Ю. В. Матиясевич
Матем. заметки, 12:1 (1972),  115–120
25. Диофантовы множества
Ю. В. Матиясевич
УМН, 27:5(167) (1972),  185–222
26. Арифметические представления перечислимых множеств с небольшим числом кванторов
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 32 (1972),  77–84
27. Диофантово представление перечислимых предикатов
Ю. В. Матиясевич
Изв. АН СССР. Сер. матем., 35:1 (1971),  3–30
28. О распознавании в реальное время отношения вхождения
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 20 (1971),  104–114
29. Достаточное условие сходимости монотонных последовательностей
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 20 (1971),  97–103
30. Арифметические представления степеней
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 8 (1968),  159–165
31. Две редукции 10-й проблемы Гильберта
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 8 (1968),  145–158
32. Связь систем уравнений в словах и длинах с 10-й проблемой Гильберта
Ю. В. Матиясевич
Зап. научн. сем. ЛОМИ, 8 (1968),  132–144
33. Простые примеры неразрешимых канонических исчислений
Ю. В. Матиясевич
Тр. МИАН СССР, 93 (1967),  50–88

34. Валентин Федорович Колчин (1934–2016)
С. А. Айвазян, В. Б. Алексеев, В. А. Ватутин, М. М. Глухов, А. А. Грушо, В. А. Емеличев, А. М. Зубков, Г. И. Ивченко, О. М. Касим-Заде, В. А. Каштанов, И. Н. Коваленко, В. Б. Кудрявцев, В. В. Мазалов, Ю. В. Матиясевич, Ю. И. Медведев, В. Г. Михайлов, Ю. Л. Павлов, Б. А. Погорелов, Э. А. Применко, Л. Я. Савельев, В. Н. Сачков, С. А. Степанов, В. П. Чистяков, В. Н. Чубариков
Дискрет. матем., 28:4 (2016),  3–5
35. Алан Тьюринг и теория чисел
Ю. В. Матиясевич
Матем. просв., сер. 3, 17 (2013),  6–34
36. Николай Александрович Шанин (некролог)
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, И. Д. Заславский, Э. Ф. Караваев, Б. Ю. Конев, Н. К. Косовский, В. А. Лифшиц, М. Маргенштерн, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, Р. Плюшкявичус, А. О. Слисенко, С. В. Соловьев, В. П. Чернов
УМН, 68:4(412) (2013),  173–176
37. Михаил Абрамович Тайцлин (1936–2013)
Д. А. Архангельский, Б. С. Байжанов, О. В. Белеградек, В. Я. Беляев, Л. А. Бокуть, М. К. Валиев, С. К. Водопьянов, М. Гитик, Ю. Ш. Гуревич, Д. О. Дадеркин, А. М. Дехтярь, М. И. Дехтярь, А. Я. Диковский, С. М. Дудаков, Е. И. Зельманов, Б. И. Зильбер, С. Л. Крушкаль, С. С. Кутателадзе, Ю. В. Матиясевич, Г. Е. Минц, И. Х. Мусикаев, А. К. Ребров, Ю. Г. Решетняк, А. Л. Семенов, А. П. Столбоушкин, И. А. Тайманов, Б. А. Трахтенброт
Сиб. электрон. матем. изв., 10 (2013),  54–65
38. Предисловие
Юхани Кархюмяки, Юрий Матиясевич
Зап. научн. сем. ПОМИ, 402 (2012),  5–8
39. Preface
D. R. Heath-Brown, A. MacIntyre, Yu. I. Manin, Yu. V. Matiyasevich, B. Z. Moroz
Зап. научн. сем. ПОМИ, 377 (2010),  5
40. Предисловие редактора
Ю. В. Матиясевич
Зап. научн. сем. ПОМИ, 304 (2003),  5–6
41. Николай Александрович Шанин (к восьмидесятилетию со дня рождения)
М. А. Всемирнов, Э. А. Гирш, Д. Ю. Григорьев, Г. В. Давыдов, Е. Я. Данцин, А. А. Иванов, Б. Ю. Конев, В. А. Лифшиц, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко
УМН, 56:3(339) (2001),  181–184
42. R. Penrose. “The emperor's new mind”. Oxford University Press, Oxford etc., 1989, xiii+466 pp.
Ю. В. Матиясевич
Алгебра и анализ, 3:5 (1991),  254–265
43. Николай Александрович Шанин (к семидесятилетию со дня рождения)
Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко
УМН, 45:1(271) (1990),  205–206
44. Сергей Юрьевич Маслов (некролог)
Г. В. Давыдов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко, А. В. Сочилина, Н. А. Шанин
УМН, 39:2(236) (1984),  129–130
45. Николай Александрович Шанин (к шестидесятилетию со дня рождения)
С. Ю. Маслов, Ю. В. Матиясевич, Г. Е. Минц, В. П. Оревков, А. О. Слисенко
УМН, 35:2(212) (1980),  241–245
46. Предисловие редакторов
Ю. В. Матиясевич, А. О. Слисенко
Зап. научн. сем. ЛОМИ, 20 (1971),  7

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

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