메뉴 건너뛰기




Volumn 316, Issue 1, 2006, Pages 339-345

A quantitative version of Kirk's fixed point theorem for asymptotic contractions

Author keywords

Asymptotic contractions; Fixed points; Proof mining

Indexed keywords


EID: 29944436455     PISSN: 0022247X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jmaa.2005.04.039     Document Type: Article
Times cited : (22)

References (5)
  • 1
    • 10344237072 scopus 로고    scopus 로고
    • On a fixed point theorem by Kirk
    • I.D. Arandelović On a fixed point theorem by Kirk J. Math. Anal. Appl. 301 2005 384-385
    • (2005) J. Math. Anal. Appl. , vol.301 , pp. 384-385
    • Arandelović, I.D.1
  • 3
    • 0037439596 scopus 로고    scopus 로고
    • Fixed points of asymptotic contractions
    • W.A. Kirk Fixed points of asymptotic contractions J. Math. Anal. Appl. 277 2003 645-650
    • (2003) J. Math. Anal. Appl. , vol.277 , pp. 645-650
    • Kirk, W.A.1
  • 4
    • 12744263577 scopus 로고    scopus 로고
    • Some logical metatheorems with applications in functional analysis
    • U. Kohlenbach Some logical metatheorems with applications in functional analysis Trans. Amer. Math. Soc. 357 2005 89-128
    • (2005) Trans. Amer. Math. Soc. , vol.357 , pp. 89-128
    • Kohlenbach, U.1
  • 5
    • 12744258556 scopus 로고    scopus 로고
    • Proof mining: A systematic way of analyzing proofs in mathematics
    • U. Kohlenbach P. Oliva Proof mining: A systematic way of analyzing proofs in mathematics Proc. Steklov Inst. Math. 242 2003 136-164
    • (2003) Proc. Steklov Inst. Math. , vol.242 , pp. 136-164
    • Kohlenbach, U.1    Oliva, P.2


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