{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T21:51:51Z","timestamp":1775857911353,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540421979","type":"print"},{"value":"9783540453352","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45335-0_9","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T17:49:27Z","timestamp":1195062567000},"page":"119-145","source":"Crossref","is-referenced-by-count":8,"title":["On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Kohlenbach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,5,22]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Pure and Appl. Math.","first-page":"51","volume-title":"Theory and applications of nonlinear operators of accretive and monotone type","author":"J. Baillon","year":"1996","unstructured":"Baillon, J, Bruck, R.E., The rate of asymptotic regularity is 0( 1\/\u221an). Theory and applications of nonlinear operators of accretive and monotone type, Lecture Notes in Pure and Appl. Math. 178, pp. 51\u201381,Dekker, New York, 1996."},{"key":"9_CR2","unstructured":"Bruck, R.E., A simple proof that the rate of asymptotic regularity of (I + T)=2 is O(1\/\u221an). Recent advances on metric fixed point theory (Seville, 1995), pp. 11\u201318, Ciencias, 48, Univ. Sevilla, Seville, 1996."},{"key":"9_CR3","unstructured":"Bonsall, F.F., Lectures on some fixed point theorems of functional analysis. Tata Institute of Fundamental Research. Bombay 1962."},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"21","DOI":"10.4153\/CMB-1992-003-0","volume":"35","author":"J. Borwein","year":"1992","unstructured":"Borwein, J., Reich, S., Shafrir, I., Krasnoselski-Mann iterations in normed spaces. Canad. Math. Bull. 35, pp. 21\u201328 (1992).","journal-title":"Canad. Math. Bull"},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"1041","DOI":"10.1073\/pnas.54.4.1041","volume":"54","author":"F.E. Browder","year":"1965","unstructured":"Browder, F.E., Nonexpansive nonlinear operators in a Banach space. Proc. Nat. Acad. Sci. U.S.A. 54, pp. 1041\u20131044 (1965).","journal-title":"Proc. Nat. Acad. Sci. U.S.A."},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"396","DOI":"10.2307\/1989630","volume":"40","author":"J.A. Clarkson","year":"1936","unstructured":"Clarkson, J.A., Uniformly convex spaces. Trans. Amer. Math. Soc. 40, pp. 396\u2013414 (1936).","journal-title":"Trans. Amer. Math. Soc."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"xiv+450","DOI":"10.1007\/978-3-662-00547-7","volume-title":"Nonlinear Functional Analysis","author":"K. Deimling","year":"1985","unstructured":"Deimling, K., Nonlinear Functional Analysis. Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, xiv+450 pp., 1985."},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"547","DOI":"10.1112\/jlms\/s2-17.3.547","volume":"17","author":"M. Edelstein","year":"1978","unstructured":"Edelstein, M., O\u2019Brian, R.C., Nonexpansive mappings, asymptotic regularity and successive approximations. J. London Math. Soc. 17, pp. 547\u2013554 (1978).","journal-title":"J. London Math. Soc."},{"key":"9_CR9","unstructured":"Espinola, R., Kirk, W.A., Fixed points and approximated fixed points in product spaces. Preprint."},{"key":"9_CR10","first-page":"247","volume-title":"Kreiseliana: about and around Georg Kreisel","author":"S. Feferman","year":"1996","unstructured":"Feferman, S., Kreisel\u2019s \u2018Unwinding Program\u2019. In: P. Odifreddi (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters, Wellesley Massachusetts, pp. 247\u2013273 (1996)."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Goebel, K., Kirk, W.A., Iteration processes for nonexpansive mappings. In: Singh, S.P., Thomeier, S., Watson, B., eds., Topological Methods in Nonlinear Functional Analysis. Contemporary Mathematics 21, AMS, pp. 115\u2013123 (1983).","DOI":"10.1090\/conm\/021\/729507"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Goebel, K., Kirk, W.A., Topics in metric fixed point theory. Cambridge studies in advanced mathematics 28, Cambridge University Press 1990.","DOI":"10.1017\/CBO9780511526152"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1002\/mana.19650300312","volume":"30","author":"D. G\u00f6hde","year":"1965","unstructured":"G\u00f6hde, D., Zum Prinzip der kontraktiven Abbildung. Math. Nachrichten 30, pp. 251\u2013258 (1965).","journal-title":"Math. Nachrichten"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/BF02589410","volume":"3","author":"O. Hanner","year":"1956","unstructured":"Hanner, O., On the uniform convexity of L p and l p. Ark. Mat. 3, pp. 239\u2013244 (1956).","journal-title":"Ark. Mat."},{"key":"9_CR15","first-page":"24","volume-title":"Theory of Approximation with Applications","author":"M.S. Henry","year":"1976","unstructured":"Henry, M.S., Schmidt, D., Continuity theorems for the product approximation operator. In: Law, A.G., Sahney, B.N. (eds.), Theory of Approximation with Applications, pp. 24\u201342, Academic Press, New York (1976)."},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"65","DOI":"10.2307\/2042038","volume":"59","author":"S. Ishikawa","year":"1976","unstructured":"Ishikawa, S., Fixed points and iterations of a nonexpansive mapping in a Banach space. Proc. Amer. Math. Soc. 59, pp. 65\u201371 (1976).","journal-title":"Proc. Amer. Math. Soc."},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"1004","DOI":"10.2307\/2313345","volume":"72","author":"W.A. Kirk","year":"1965","unstructured":"Kirk, W.A., A Fixed point theorem for mappings which do not increase distances. Amer. Math. Monthly 72, pp. 1004\u20131006 (1965).","journal-title":"Amer. Math. Monthly"},{"key":"9_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.4064\/ap-51-1-189-193","volume":"51","author":"W.A. Kirk","year":"1990","unstructured":"Kirk, W.A., Martinez-Yanez, C., Approximate fixed points for nonexpansive mappings in uniformly convex spaces. Annales Polonici Mathematici 51, pp. 189\u2013193 (1990).","journal-title":"Annales Polonici Mathematici"},{"key":"9_CR19","unstructured":"Kirk, W.A., Nonexpansive mappings and asymptotic regularity. To appear in: Nonlinear Analysis."},{"key":"9_CR20","doi-asserted-by":"crossref","first-page":"VI+456","DOI":"10.1007\/978-3-662-22555-4","volume-title":"Topoplogische Lineare R\u00e4ume","author":"G. Koethe","year":"1960","unstructured":"Koethe, G., Topoplogische Lineare R\u00e4ume. Springer-Verlag Berlin-G\u00f6ttingen-Heidelberg, VI+456 pp., 1960."},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0168-0072(93)90213-W","volume":"64","author":"U. Kohlenbach","year":"1993","unstructured":"Kohlenbach, U., Effective moduli from ine ective uniqueness proofs. An unwinding of de La Vall\u00e9e Poussin\u2019s proof for Chebyche approximation. Ann. Pure Appl. Logic 64, pp. 27\u201394 (1993).","journal-title":"Ann. Pure Appl. Logic"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1080\/01630569308816541","volume":"14","author":"U. Kohlenbach","year":"1993","unstructured":"Kohlenbach, U., New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory. Numer. Funct. Anal. and Optimiz. 14, pp. 581\u2013606 (1993).","journal-title":"Numer. Funct. Anal. and Optimiz"},{"key":"9_CR23","unstructured":"Kohlenbach, U., Analysing proofs in analysis. In: W. Hodges, M. Hyland, C. Steinhorn, J. Truss, editors, Logic: from Foundations to Applications. European Logic Colloquium (Keele, 1993), pp. 225\u2013260, Oxford University Press (1996)."},{"key":"9_CR24","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/s001530050055","volume":"36","author":"U. Kohlenbach","year":"1996","unstructured":"Kohlenbach, U., Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Arch. Math. Logic 36, pp. 31\u201371 (1996).","journal-title":"Arch. Math. Logic"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U., Proof theory and computational analysis. Electronic Notes in Theoretical Computer Science 13, Elsevier ( http:\/\/www.elsevier.nl\/locate\/entcs\/volume13.html ), 34 pages (1998).","DOI":"10.1016\/S1571-0661(05)80219-1"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s001530050104","volume":"37","author":"U. Kohlenbach","year":"1998","unstructured":"Kohlenbach, U., Elimination of Skolem functions for monotone formulas in analysis. Arch. Math. Logic 37, pp. 363\u2013390 (1998).","journal-title":"Arch. Math. Logic"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U., Arithmetizing proofs in analysis. In: Larrazabal, J.M. et al. (eds.), Proceedings Logic Colloquium 96 (San Sebastian), Springer Lecture Notes in Logic 12, pp. 115\u2013158 (1998).","DOI":"10.1007\/978-3-662-22110-5_5"},{"key":"9_CR28","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/S0168-0072(99)00036-6","volume":"102","author":"U. Kohlenbach","year":"2000","unstructured":"Kohlenbach, U., Things that can and things that can\u2019t be done in PRA. Ann. Pure Appl. Logic 102, pp. 223\u2013245 (2000).","journal-title":"Ann. Pure Appl. Logic"},{"key":"9_CR29","unstructured":"Kohlenbach, U., A quantitative version of a theorem due to Borwein-Reich-Shafrir. Submitted."},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Kohlenbach, U., Oliva, P., Effective bounds on strong unicity in L1-approximation. Preprint 30pp. (2001).","DOI":"10.7146\/brics.v8i14.20471"},{"key":"9_CR31","first-page":"123","volume":"10","author":"M. A. Krasnoselski","year":"1955","unstructured":"Krasnoselski, M. A., Two remarks on the method of successive approximation. Usp. Math. Nauk (N.S.) 10, pp. 123\u2013127 (1955) (Russian).","journal-title":"Usp. Math. Nauk (N.S.)"}],"container-title":["Lecture Notes in Computer Science","Computability and Complexity in Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45335-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T12:12:45Z","timestamp":1556971965000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45335-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421979","9783540453352"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-45335-0_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}