Video: Iurii Kudriashov, "The path to the formalization of de Rham cohomology"

Video From 23w5124: Formalization of Cohomology Theories

Iurii Kudriashov, Texas A&M

Monday, May 22, 2023 09:00 - 10:00

The path to the formalization of de Rham cohomology

Iurii Kudriashov, Video: The path to the formalization of de Rham cohomology

Iurii Kudriashov, The path to the formalization of de Rham cohomology, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

presentation

mpeg4

216M

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

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

Download this video (216M)