Reid Barton at Formalization of Cohomology Theories

Video From 23w5124: Formalization of Cohomology Theories

Reid Barton, University of Freiburg

Thursday, May 25, 2023 10:30 - 11:30

Reid Barton, Video: Reid Barton at Formalization of Cohomology Theories

Reid Barton, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

presentation

mpeg4

109M

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305251030-Barton.html

0 seconds of 0 secondsVolume 90%

00:00

This video file cannot be played.(Error Code: 224003)