Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Rodin, Andrey

Statistics Math-Net.Ru
Presentations: 2

Number of views:
This page:304
Website: http://philomatica.org; https://www.ipu.ru/node/37536; https://www.hse.ru/org/persons/218712080

http://www.mathnet.ru/eng/person132142
List of publications on Google Scholar
List of publications on ZentralBlatt

Presentations in Math-Net.Ru
1. Computer-assisted proofs and mathematical understanding: The case of univalent foundations
A. Rodin
Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 16:00   
2. Унивалентные основания и автоматическая проверка доказательств
A. Rodin
One-day conference dedicated to the memory of Vladimir A. Voevodsky
December 28, 2017 16:00   

Organisations
 
Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2022