Videos

Start date cannot be after end date.
Workshop on Mathematical Journals, lec. 9 - Avenues for Mathematics Journals - on the road to 2025 Thumbnail

Workshop on Mathematical Journals, lec. 9 - Avenues for Mathematics Journals - on the road to 2025

Presenter
  • Samuel Rankin
February 14, 2011
SLMath
Introduction to Numerical Relativity (Part 2/2) Thumbnail

Introduction to Numerical Relativity (Part 2/2)

Presenter
  • Helvi Witek
September 14, 2021
IPAM
Introduction to Numerical Relativity (Part 1/2) Thumbnail

Introduction to Numerical Relativity (Part 1/2)

Presenter
  • Helvi Witek
September 14, 2021
IPAM
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Building Modeling and Simulation Tools on Discrete Exterior Calculus Foundations Thumbnail

Building Modeling and Simulation Tools on Discrete Exterior Calculus Foundations

Presenter
  • James Fairbanks
September 5, 2025
IMSI
Mathematical aspects of equivariant neural networks Thumbnail

Mathematical aspects of equivariant neural networks

Presenter
  • Risi Kondor
December 11, 2023
IMSI
Univalent foundations and the equivalence principle Thumbnail

Univalent foundations and the equivalence principle

Presenter
  • Benedikt Ahrens
September 12, 2018
IAS
The mathematical work of Vladimir Voevodsky Thumbnail

The mathematical work of Vladimir Voevodsky

Presenter
  • Dan Grayson
September 11, 2018
IAS
Research Gaps and Future Directions Thumbnail

Research Gaps and Future Directions

Presenter
  • Karen Willcox
November 18, 2025
IMSI
Foundations of (∞, 2) -category theory Thumbnail

Foundations of (∞, 2) -category theory

Presenter
  • Emily Riehl
November 30, 2017
SLMath
Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 2 Thumbnail

Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 2

Presenter
  • Tony Lelièvre
September 13, 2017
IPAM
Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 1 Thumbnail

Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 1

Presenter
  • Tony Lelièvre
September 12, 2017
IPAM