In this survey we present some recent applications of proof mining to the fixed point theory of (asymptotically) nonexpansive mappings and to the metastability (in the sense of Terence Tao) of ergodic averages in uniformly ...

We consider two-person zero-sum stochastic mean payoff games with perfect information, or BWR-games, given by a digraph $G = (V,E)$, with local rewards $r : E \to \mathbb{Z}$, and three types of positions: black $V_B$, ...

Topics discussed at the workshop Quadratic forms and linear algebraic groups included besides the algebraic theory of quadratic and Hermitian forms and their Witt groups several aspects of the theory of linear algebraic ...

The range of topics discussed at the workshop “Quadratic Forms and Related Structures over Fields” included core themes from the algebraic theory of quadratic and hermitian forms and their Witt groups, several aspects of ...

In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a discrete lion and man game with an $\varepsilon$-capture ...

If you place a drop of ink into a glass of water, the ink will slowly dissipate into the surrounding water until it is perfectly mixed. If you record your experiment with a camera and play the film backwards, you will see ...

In mathematics, symmetry is usually captured using the formalism of groups. However, the developments of the past few decades revealed the need to go beyond groups: to “quantum groups”. We explain the passage from ...

Consider a population of $N$ individuals, each of them carrying a type in $\mathbb N_0$. The population evolves according to a Moran dynamics with selection and mutation, where an individual of type $k$ has the same selective ...