Start date cannot be after end date.
Well-posedness of Hamilton-Jacobi equations on the Wasserstein space on graphs
Presenter
- Wilfrid Gangbo
February 20, 2023
IMSI
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Presenter
- Petra Hozzova
February 17, 2023
IPAM
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Presenter
- Johnathan Hanke
February 17, 2023
IPAM
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Presenter
- Heather Macbeth
February 17, 2023
IPAM
Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA
Presenter
- Jason Rute
February 16, 2023
IPAM