In recent years, the development of analytic tools to study geometric questions in metric spaces beyond Riemannian manifolds has seen tremendous progress and ...
Existiert in
Programs
/
Current-Trimester-Program
The trimester program aims to bring together experts, postdocs, and students in computer science and certain areas in mathematics (analysis, probability, and ...
Existiert in
Programs
/
Past
The connection between probability and geometry is an emerging research area. It includes log-Brunn Minkowski inequality, large deviations and asymptotic ...
Existiert in
Programs
/
Past
Formal Mathematics, the program to formalize, check, and manage mathematical knowledge, statements and proofs with computer support, is about to reach a ...
Existiert in
Programs
/
Past
