Listar Artículos (Análisis Matemático) por agencia financiadora "Deutsche Forschungsgemeinschaft / German Research Foundation (DFG)"
Mostrando ítems 1-3 de 3
-
Artículo
A proof-theoretic bound extraction theorem for CAT(κ)-spaces
(Springer, 2017-06)Starting in 2005, general logical metatheorems have been developed that guarantee the extractability of uniform effective ...
-
Artículo
Quantitative asymptotic regularity results for the composition of two mappings
(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.
-
Artículo
Quantitative results on Fejér monotone sequences
(World Scientific, 2017)We provide in a unified way quantitative forms of strong convergence results for numerous iterative procedures which satisfy ...