Start date cannot be after end date.
Loop Grassmannians from the point of view of local spaces
Presenter
- Ivan Mirkovic
November 18, 2014
SLMath
Finite embeddability of groups and its applications to geometry and topology
Presenter
- Guoliang Yu
December 7, 2016
SLMath
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM