Iurii Kudriashov

  1. Title:
    The path to the formalization of de Rham cohomology
    Speaker:
    Iurii Kudriashov

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