Start date cannot be after end date.
Gross-Pitaevskii Vortex Motion with Critically-scaled Inhomogeneities
Presenter
- Jeremy Marzuola
November 3, 2016
IMA
Stable perturbations of a minimal mass soliton for a saturated NLSE in 3d
Presenter
- Jeremy Marzuola
August 9, 2007
SLMath
3D Solitary Pattern Stability in a Multiscale Nonlinear Schrödinger Equation
Presenter
- Christopher Jones
January 24, 2025
ICERM
Spectral Minimal Partitions: Local vs Global Minimality
Presenter
- Gregory Berkolaiko
December 10, 2024
IAS
Formalization Of Mathematics Summer School: Formalizing Blockchain Computations
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like
Presenter
- Jeremy Avigad
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath