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

Conformally Rigid Graphs

Presenter
  • Andrew Niu
July 10, 2026
ICERM
Computational Complexity of MCMC in High Dimensions Thumbnail

Computational Complexity of MCMC in High Dimensions

Presenter
  • Andrew Stuart
May 23, 2007
SLMath
Validity of SDE Approximations Thumbnail

Validity of SDE Approximations

Presenter
  • Andrew Stuart
April 5, 2007
SLMath
Homogenization for SDEs Thumbnail

Homogenization for SDEs

Presenter
  • Andrew Stuart
April 4, 2007
SLMath
Averaging for SDEs Thumbnail

Averaging for SDEs

Presenter
  • Andrew Stuart
April 3, 2007
SLMath
Averaging and Homogenization for Linear Systems Thumbnail

Averaging and Homogenization for Linear Systems

Presenter
  • Andrew Stuart
April 2, 2007
SLMath