Videolibrary
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Video Library
Archive
Most viewed videos

Search
RSS
New in collection






Logical Perspectives 2021: Summer School and Workshop
June 17, 2021 16:00–16:30, Logical Perspectives 2021 Workshop, Moscow, Steklov Mathematical Institute, Room 104 + online
 


Computer-assisted proofs and mathematical understanding: The case of univalent foundations

A. Rodin
Video records:
MP4 611.6 Mb
Supplementary materials:
Adobe PDF 167.2 Kb
Adobe PDF 28.1 Mb

Number of views:
This page:197
Video files:29
Materials:37




Supplementary materials: workshop_rodin.pdf (167.2 Kb) , workshop_rodin_slides.pdf (28.1 Mb)

Language: English
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024