Videos

Start date cannot be after end date.
Using Logic to Investigate Homeomorphism Groups of Manifolds Thumbnail

Using Logic to Investigate Homeomorphism Groups of Manifolds

Presenter
  • Thomas Koberda
April 1, 2025
IAS
Twisted (co)homology of Matroids Thumbnail

Twisted (co)homology of Matroids

Presenter
  • Thomas Lam
November 7, 2024
IAS
Random triangulations in high genus Thumbnail

Random triangulations in high genus

Presenter
  • Thomas Budzinski
July 10, 2024
IMSI
Descriptor coarse-graining and forecasting atomic simulations Thumbnail

Descriptor coarse-graining and forecasting atomic simulations

Presenter
  • Thomas Swinburne
May 15, 2024
IMSI
Taut Foliations Through a Contact Lens Thumbnail

Taut Foliations Through a Contact Lens

Presenter
  • Thomas Massoni
January 29, 2024
IAS
Formalization Of Mathematics Summer School: Formalizing Galois Theory Thumbnail

Formalization Of Mathematics Summer School: Formalizing Galois Theory

Presenter
  • Thomas Browning
June 14, 2023
SLMath