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 2018
May 14, 2018 10:00, Saint Petersburg, Euler International Mathematical Institute, 10 Pesochnaya nab.
 


The mechanization of mathematics

Jeremy Avigad
Video records:
MP4 568.9 Mb
MP4 2,502.3 Mb
Supplementary materials:
Adobe PDF 1.2 Mb
Adobe PDF 94.1 Kb

Number of views:
This page:186
Video files:63
Materials:40

Jeremy Avigad




Supplementary materials: presentation.pdf (1.2 Mb) , abstract.pdf (94.1 Kb)

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