ИСТИНА

Матиясевич Юрий Владимирович

Соавторы: Семёнов А.Л., Rebrov E.A., Reshetnyak Y.G.,  Medvedev Y. .,  Sachkov V. .,  Мазалов В. ., Абрамов Я., Адян С.И., Айвазян С.А., Алексеев В.Б., Андреев Н.Н., Архангельский В.А., Беклемишев Л.Д. показать полностью..., Белеградек О.В., Белов А.Я., Беляев В.Н., Бокуть Л.А., Валиев М.К., Ватутин В.А., Водопьянов С.К., Гитик М., Глухов М.М., Гончаров С.С., Грушо А.А., Гуревич Ю.Ш., Дадеркин Д.О., Дехтярь М.И., Диковский А.Я., Емеличев В.А., Зельманов Е.И., Зильбер Б.И., Зубков А.М., Иванов-Погодаев И.А., Ивченко Г.И., Касим-Заде О.М., Каштанов В.А., Коваленко И.Н., Крушкаль С.Л., Кудрявцев В.Б., Кутателадзе С.С., Малистов А.С., Минц Г.Е., Михайлов В.Г., Мусикаев И.Х., Осипов Ю.С., Павлов Ю.Л., Пентус М.Р., Плунгян В.А., Погорелов Б.А., Применко Э.А., Рахилина Е.В., Савельев Л.Я., Садовничий В.А., Степанов С.А., Столбоушкин А.П., Тайманов И.А., Татевосов С.Г., Тихомиров В.М., Трахтенброт Б.А., Чистяков В.П., Чубариков В.Н., Шень А.

5 статей, 1 книга, 1 членство в редколлегии сборника

IstinaResearcherID (IRID): 48139211

Деятельность

• Статьи в журналах

  • • 2019 Владимир Андреевич Успенский (27.11.1930–27.06.2018)
    • Адян С.И., Андреев Н.Н., Беклемишев Л.Д., Гончаров С.С., Ершов Ю.Л., Матиясевич Ю.В., Осипов Ю.С., Пентус М.Р., Плунгян В.А., Рахилина Е.В., Садовничий В.А., Семёнов А.Л., Татевосов С.Г., Тихомиров В.М., Шень А.Х.
    • в журнале Успехи математических наук, издательство Наука (М.), том 74, № 4(448), с. 165-180
  • • 2016 Валентин Федорович Колчин (1934–2016)
    • Айвазян С.А., Алексеев В.Б., Ватутин В.А., Глухов М.М., Грушо А.А., Емеличев В.А., Зубков А.М., Ивченко Г.И., Касим-Заде О.М., Каштанов В.А., Коваленко И.Н., Кудрявцев В.Б., Мазалов В.В., Матиясевич Ю.В., Медведев Ю.И., Михайлов В.Г., Павлов Ю.Л., Погорелов Б.А., Применко Э.А., Савельев Л.Я., Сачков В.Н., Степанов С.А., Чистяков В.П., Чубариков В.Н.
    • в журнале Дискретная математика, издательство Наука (М.), том 28, № 4, с. 3-5
  • • 2013 Михаил Абрамович Тайцлин (1936–2013)
    • Архангельский Д.А., Байжанов Б.С., Белеградек О.В., Беляев В.Я., Бокуть Л.А., Валиев М.К., Водопьянов С.К., Гитик М., Гуревич Ю.Ш., Дадеркин Д.О., Дехтярь А.М., Дехтярь М.И., Диковский А.Я., Дудаков С.М., Зельманов Е.И., Зильбер Б.И., Крушкаль С.Л., Кутателадзе С.С., Матиясевич Ю.В., Минц Г.Е., Мусикаев И.Х., Ребров А.К., Решетняк Ю.Г., Семенов А.Л., Столбоушкин А.П., Тайманов И.А., Трахтенброт Б.А.
    • в журнале Сибирские электронные математические известия, № 10, с. 54-65

• Статьи в сборниках

  • • 2007 Десятая проблема Гильберта
    • Матиясевич Ю.В., Абрамов Я., Белов-Канель А.Я., Иванов-Погодаев И.А., Малистов А.С.
    • в сборнике Российская академия наук, Департамент образования города Москвы, Московский центр непрерывного математического образования, Журнал “Квант”,, серия Физико-техническое отделение Национальной Академии Наук Республики Беларусь Комитет по образованию Мингорисполкома International Sophus Lie Centre Учреждение образования “Минское Суворовское военное училище”, место издания 9-я летняя конференция международного математического Турнира городов Беларусь, Минск / Belarus, Minsk, 02.08.2007–10.08.2007
  • • 1987 Возможные нетрадиционные методы установления выполнимости пропозициональных формул
    • Матиясевич Юрий Владимирович
    • в сборнике Проблемы сокращения перебора, серия Вопросы кибернетики, место издания Научный совет по комплексной проблеме «Кибернетика» Академии Наук СССР Москва, том 131, с. 87-89

• Книги

  • • 1993 Десятая проблема Гильберта
    • Матиясевич Юрий Владимирович
    • место издания Физматлит Москва, 224 с.

• Участие в редколлегии сборников

  • • 1994 Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings
    • член редколлегии: Матиясевич Ю.В.
    • серия Lecture Notes in Computer Science, том 813
    • место издания Springer