Персоналии
RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Родин Андрей Вячеславович
В базах данных Math-Net.Ru
Публикаций:
1
Научных статей:
1
Лекций и докладов:
2
Статистика просмотров:
Эта страница:
546
Страницы публикаций:
70
Полные тексты:
29
Списки литературы:
26
Сайт:
http://philomatica.org
;
https://www.ipu.ru/node/37536
;
https://www.hse.ru/org/persons/218712080
https://www.mathnet.ru/rus/person132142
Список публикаций на Google Scholar
Публикации в базе данных
Math-Net.Ru
Цитирования
2021
1.
А. В. Родин, “Компьютерные доказательства и их понимание человеком: случай унивалентных оснований”,
Интеллектуальные системы. Теория и приложения
,
25
:4 (2021),
337–342
Доклады и лекции в базе данных
Math-Net.Ru
1.
Computer-assisted proofs and mathematical understanding: The case of univalent foundations
A. Rodin
Logical Perspectives 2021: Summer School and Workshop
17 июня 2021 г.
16:00
2.
Унивалентные основания и автоматическая проверка доказательств
А. Родин
Однодневная конференция, посвященная памяти В. А. Воеводского
28 декабря 2017 г.
16:00
Организации
Национальный исследовательский университет "Высшая школа экономики", г. Москва
Институт философии Российской академии наук, г. Москва
Обратная связь:
email
Пользовательское соглашение
Регистрация посетителей портала
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2024