Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Rodin, Andrey
Website: http://philomatica.org; https://www.ipu.ru/node/37536; https://www.hse.ru/org/persons/218712080

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

Publications in Math-Net.Ru Citations
2021
1. A. Rodin, “Computer-assisted proofs and their understanding by a human: the case of univalent foundations”, Intelligent systems. Theory and applications, 25:4 (2021),  337–342  mathnet

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, 2025