Videos

Start date cannot be after end date.
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS

Necklace Theory and Maximal cusps of hyperbolic 3-manifolds

Presenter
  • David Gabai
June 14, 2021
ICERM
Hierarchical Bayesian Level Set Inversion Thumbnail

Hierarchical Bayesian Level Set Inversion

Presenter
  • Andrew Stuart
January 19, 2016
IPAM
Averaging and Homogenization for Linear Systems Thumbnail

Averaging and Homogenization for Linear Systems

Presenter
  • Andrew Stuart
April 2, 2007
SLMath
Introduction to SDEs Thumbnail

Introduction to SDEs

Presenter
  • Andrew Stuart
April 2, 2007
SLMath