Start date cannot be after end date.
Differential geometry based Multiscale solvation models and their computation
Presenter
- Zhan Chen
October 15, 2015
MBI
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Recent Developments in Commutative Algebra: "Closure operations and rational singularities"
Presenter
- Rebecca R.G.
April 18, 2024
SLMath
Defining SLE in multiply connected domains using the Brownian Loop Measure
Presenter
- Gregory Lawler
March 26, 2012
SLMath
Polynomial Bounds on Parallel Repetition For All 3-Player Games with Binary Inputs
Presenter
- Kunal Mittal
May 9, 2022
IAS
