- idUS
- Investigación
- Ciencias
- Análisis Matemático
- Artículos (Análisis Matemático)
- Browsing Artículos (Análisis Matemático) by Author
Browsing Artículos (Análisis Matemático) by Author "Kohlenbach, Ulrich Wilhelm"
Now showing items 1-4 of 4
-
Article
A proof-theoretic bound extraction theorem for CAT(κ)-spaces
Kohlenbach, Ulrich Wilhelm; Nicolae, Adriana (Springer, 2017-06)Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective ...
-
Article
A uniform betweenness property in metric spaces and its role in the quantitative analysis of the “Lion-man” game
Kohlenbach, Ulrich Wilhelm; López Acedo, Genaro; Nicolae, Adriana (MSP, 2021-01-26)We analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. ...
-
Article
Quantitative asymptotic regularity results for the composition of two mappings
Kohlenbach, Ulrich Wilhelm; López Acedo, Genaro; Nicolae, Adriana (Taylor & Francis, 2016)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.
-
Article
Quantitative results on Fejér monotone sequences
Kohlenbach, Ulrich Wilhelm; Leustean, Laurentiu; Nicolae, Adriana (World Scientific, 2017)We provide in a unified way quantitative forms of strong convergence results for numerous iterative procedures which satisfy ...