Videos

Start date cannot be after end date.
Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA Thumbnail

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

Presenter
  • Andrej Bauer
February 13, 2023
IPAM
Prescribing scalar curvature in high dimension Thumbnail

Prescribing scalar curvature in high dimension

Presenter
  • Andrea Malchiodi
October 2, 2018
IAS

Hot Topics: Geometric Langlands Conjecture: Eisenstein series

Presenter
  • Andrea Bourque
April 8, 2026
SLMath
Polynomial Identity Testing Thumbnail

Polynomial Identity Testing

Presenter
  • Robert Andrews
October 5, 2023
IAS