Videos

Start date cannot be after end date.
Formalization Of Mathematics Summer School: Installing Lean Thumbnail

Formalization Of Mathematics Summer School: Installing Lean

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL) Thumbnail

Formalization Of Mathematics Summer School: Basics (Chapter 2 of MIL)

Presenter
  • Heather Macbeth
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics Thumbnail

Formalization Of Mathematics Summer School: Introduction to Formalized Mathematics

Presenter
  • Patrick Massot
June 5, 2023
SLMath
Overview of the h-principle Thumbnail

Overview of the h-principle

Presenter
  • Yakov Eliashberg
October 20, 2021
IAS

A brief journey to the past of iterative methods for solving sparse linear systems

Presenter
  • Yousef Saad
November 2, 2018
ICERM
Mathematical Education of Teachers: APLU’s Mathematics Teacher Education Partnership Thumbnail

Mathematical Education of Teachers: APLU’s Mathematics Teacher Education Partnership

Presenter
  • W. Gary Martin
March 27, 2014
SLMath
Dynamics of 3D Volume-Preserving Maps Thumbnail

Dynamics of 3D Volume-Preserving Maps

Presenter
  • James Meiss
January 25, 2007
SLMath
Dynamics of Nonlinear Waves Thumbnail

Dynamics of Nonlinear Waves

Presenter
  • Bjorn Sandstede
January 24, 2007
SLMath
Dynamics of Reaction-Diffusion Patterns Thumbnail

Dynamics of Reaction-Diffusion Patterns

Presenter
  • Arjen Doelman
January 24, 2007
SLMath
Genericity of Chaotic Dynamics Thumbnail

Genericity of Chaotic Dynamics

Presenter
  • Yakov Pesin
January 23, 2007
SLMath
Dynamics of Emergence and Flocking Thumbnail

Dynamics of Emergence and Flocking

Presenter
  • Steve Smale
January 22, 2007
SLMath
Aspects of Arnold Diffusion Thumbnail

Aspects of Arnold Diffusion

Presenter
  • John Mather
January 22, 2007
SLMath