Machine learning has achieved remarkable successes in various applications, but there is wide agreement that a mathematical theory for deep learning is missing. Recently, some first mathematical results have been derived ...

Within the last decade image and geometry processing have become increasingly rigorous with solid foundations in mathematics. Both areas are research fields at the intersection of different mathematical disciplines, ranging ...

Since 1950, mathematicians have become increasingly familiar with the digital computer in their professional practice. Previously, however, many other instruments, now mostly forgotten, were commonly used to compute numerical ...

The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.

The workshop “Mathematical Logic: Proof Theory, Type Theory

The field of quantum chemistry is concerned with the analysis and simulation of chemical phenomena on the basis of the fundamental equations of quantum mechanics. Since the ‘exact’ electronic Schrödinger equation for a ...

This report summarizes the 2015 Oberwolfach meeting on mathematical methods in quantum molecular dynamics. Over decades this field has hosted considerable research activity from different disciplines, such as mathematics, ...

The meeting was devoted to mathematical aspects of population genetics, a branch of theoretical biology that is concerned with the genetic structure of populations under the influence of various evolutionary processes such ...

The workshop brought together leading experts in mathematical statistics, theoretical econometrics and bio-mathematics interested in mathematical objects occurring in the analysis of partially identified structures. The ...