Listar Análisis Matemático por agencia financiadora 

Listar Análisis Matemático por agencia financiadora "Deutsche Forschungsgemeinschaft / German Research Foundation (DFG)"

Mostrando ítems 1-3 de 3

    • Artículo
      Icon

      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 ...
    • Artículo
      Icon

      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.
    • Artículo
      Icon

      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 ...