Родин Андрей Вячеславович

Доклады и лекции в базе данных 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