KOHLENBACH , Ulrich Wilhelm

Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective bounds from large classes of proofs of theorems that involve abstract metric structures X. In this paper we adapt this to the class of CAT(κ)-spaces X for κ > 0 and establish a new metatheorem that explains specific bound...

We provide in a unified way quantitative forms of strong convergence results for numerous iterative procedures which satisfy a general type of Fej´er monotonicity where the convergence uses the compactness of the underlying set. These quantitative versions are in the form of explicit rates of so-called metastability in the sense of T. Tao. Our...

In this paper, we use techniques which originate from proof mining to give rates of asymptotic regularity and metastability for a sequence associated to the composition of two firmly nonexpansive mappings.

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 uniform betweenness property and use it in the study of a discrete lion and man game with an ε -capture criterion. In particular, we prove that in uniformly convex bounded domains the lion...