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
Quantum field theories (QFTs) have been successfully applied, throughout the last 70 years, to model and analyze diverse physical phenomena; in particular, ...
Existiert in
Programs
/
Current-Trimester-Program
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
