Title of article :
Some computational aspects of metric fixed-point theory
Original Research Article
Author/Authors :
Ulrich Kohlenbach، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Abstract :
We show how bounds on asymptotic regularity for nonexpansive functions can effectively be converted into certain bounds on the convergence towards a fixed point.
Keywords :
Proof mining , fixed point theory , Computable analysis , nonexpansive mappings , Krasnoselski–Mann iteration
Journal title :
Nonlinear Analysis Theory, Methods & Applications
Journal title :
Nonlinear Analysis Theory, Methods & Applications