| Document Date: 2012-12-11 10:49:24
Open Document File Size: 315,42 KBShare Result on Facebook
City Darmstadt / / Country Germany / Pakistan / / Currency pence / / / Facility The Islamia University of Bahawalpur / / IndustryTerm prooftheoretic tools / mining / computing / proof mining / / Organization Ulrich Kohlenbach2 / ∗ Department of Mathematics / Department of Mathematics / Technische Universitat Darmstadt / Islamia University of Bahawalpur / / Person Muhammad Aqeel Ahmad / / Position author / second author / / Product Shafrir / / Technology CAT / /
SocialTag |
Bounds on Kuhfittig’s iteration schema in uniformly convex hyperbolic spaces Muhammad Aqeel Ahmad Khan1,2 , Ulrich Kohlenbach2,∗ Department of Mathematics, The Islamia University of Bahawalpur, Bahawalpur, 63100, Pak