Videos

Start date cannot be after end date.
Formalization Of Mathematics Summer School: Lecture and Discussion Thumbnail

Formalization Of Mathematics Summer School: Lecture and Discussion

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean Thumbnail

Formalization Of Mathematics Summer School: Installing Lean

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM

Organizer Welcome / Introduction to Lean

Presenter
  • Jeremy Avigad
July 11, 2022
ICERM

Algebraic singular fibers from the symplectic perspective

Presenter
  • Jeremy Van Horn-Morris
April 25, 2022
ICERM
Hot Topics: Shape and Structure Of Materials - Predictive simulations of grain structure evolution Thumbnail

Hot Topics: Shape and Structure Of Materials - Predictive simulations of grain structure evolution

Presenter
  • Jeremy Mason
October 5, 2018
SLMath

Neural net word embeddings: What was old is new again

Presenter
  • Jeremy Bellay
October 6, 2017
IMA

Optimizing Point Set Configurations in Graphs

Presenter
  • Jeremy Marzuola
December 13, 2016
IMA
Gross-Pitaevskii Vortex Motion with Critically-scaled Inhomogeneities Thumbnail

Gross-Pitaevskii Vortex Motion with Critically-scaled Inhomogeneities

Presenter
  • Jeremy Marzuola
November 3, 2016
IMA
Stein fillings of cotangent bundles of surfaces Thumbnail

Stein fillings of cotangent bundles of surfaces

Presenter
  • Jeremy van
April 7, 2016
IAS

Interactive theorem proving, automated reasoning, and dynamical systems

Presenter
  • Jeremy Avigad
April 5, 2016
ICERM
Geometric deformations of orthogonal and symplectic Galois representations Thumbnail

Geometric deformations of orthogonal and symplectic Galois representations

Presenter
  • Jeremy Booher
November 19, 2015
IAS