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
An Applied Math Perspective on Climate Science, Turbulence, and Other Complex Systems Thumbnail

An Applied Math Perspective on Climate Science, Turbulence, and Other Complex Systems

Presenter
  • Andrew Majda
October 20, 2015
SLMath
How Data Science and Financial Engineering Can Help Cure Cancer Thumbnail

How Data Science and Financial Engineering Can Help Cure Cancer

Presenter
  • Andrew Lo
October 7, 2020
IMSI
Tutorial Lecture: Climate Science, Waves and PDE's for the Tropics Thumbnail

Tutorial Lecture: Climate Science, Waves and PDE's for the Tropics

Presenter
  • Andrew Majda
April 11, 2011
IMA
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
Introduction to SDEs Thumbnail

Introduction to SDEs

Presenter
  • Andrew Stuart
April 2, 2007
SLMath

Computing Maass forms

Presenter
  • Andrew Booker
July 11, 2023
ICERM
Murmurations of Arithmetic L-functions Thumbnail

Murmurations of Arithmetic L-functions

Presenter
  • Andrew Sutherland
April 24, 2023
IAS