Start date cannot be after end date.
Interactive theorem proving, automated reasoning, and mathematical computation
Presenter
- Jeremy Avigad
December 14, 2012
ICERM
Rigorous quantification of the grain growth microstructure in two and three dimensions
Presenter
- Jeremy Mason
October 26, 2012
IPAM
Stable perturbations of a minimal mass soliton for a saturated NLSE in 3d
Presenter
- Jeremy Marzuola
August 9, 2007
SLMath
Maximal surfaces in pseudo-hyperbolic spaces of rank 2
Presenter
- François Labourie
November 21, 2019
SLMath
Anna Gilbert - Imaging from the Inside Out - Inverse Scattering in Fluorescence Microscopy
Presenter
- Anna Gilbert
October 24, 2022
IPAM