메뉴 건너뛰기




Volumn 22, Issue 5-6, 2001, Pages 641-656

A quantitative version of a theorem due to Borwein-Reich-Shafrir

Author keywords

Asymptotic regularity; Fixed point theory; Krasnoselski Mann iteration; Nonexpansive mappings; Proof mining

Indexed keywords

ALGORITHMS; ASYMPTOTIC STABILITY; CONFORMAL MAPPING; CONVERGENCE OF NUMERICAL METHODS; FUNCTION EVALUATION; ITERATIVE METHODS;

EID: 0035416778     PISSN: 01630563     EISSN: None     Source Type: Journal    
DOI: 10.1081/NFA-100105311     Document Type: Article
Times cited : (30)

References (28)
  • 15
    • 0034172541 scopus 로고    scopus 로고
    • Nonexpansive mappings and asymptotic regularity. Lakshmikantham's legacy: A tribute on his 75th birthday
    • Ser. A: Theory Methods
    • (2000) Nonlinear Anal. , vol.40 , Issue.1-8 , pp. 323-332
    • Kirk, W.A.1
  • 17
    • 38249000253 scopus 로고
    • Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for chebycheff approximation
    • (1993) Ann. Pure Appl. Logic , vol.64 , pp. 27-94
    • Kohlenbach, U.1
  • 18
    • 84963434645 scopus 로고
    • 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
    • (1993) Numer. Funct. Anal. and Optimiz. , vol.14 , pp. 581-606
    • Kohlenbach, U.1
  • 21
    • 0000190786 scopus 로고    scopus 로고
    • Arithmetizing proofs in analysis
    • Larrazabal, J. M. et al. (eds.), Proceedings Logic Colloquium 96 (San Sebastian), Springer
    • (1998) Lecture Notes in Logic , vol.12 , pp. 115-158
    • Kohlenbach, U.1
  • 22
    • 84974728199 scopus 로고    scopus 로고
    • On the computational content of the Krasnoselski and Ishikawa fixed point theorems
    • to appear in: Proceedings of the Fourth Workshop on Computability and Complexity in Analysis, J. Blanck, V. Brattka, P. Hertling (eds.), Springer
    • (2001) LNCS , vol.2064
    • Kohlenbach, U.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.