The following pages link to Ulrich Kohlenbach (Q175049):
Displaying 50 items.
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (Q472316) (← links)
- Effective asymptotic regularity for one-parameter nonexpansive semigroups (Q499259) (← links)
- On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces (Q503233) (← links)
- On the asymptotic behavior of odd operators (Q549798) (← links)
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces (Q555039) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- (Q715206) (redirect page) (← links)
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
- Pointwise hereditary majorization and some applications (Q805612) (← links)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- The approximate fixed point property in product spaces (Q866523) (← links)
- On the disjunctive Markov principle (Q897485) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Ramsey's theorem for pairs and provably recursive functions (Q987936) (← links)
- Negationless intuitionism (Q1267080) (← links)
- Elimination of Skolem functions for monotone formulas in analysis (Q1267846) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals (Q1354332) (← links)
- A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space (Q1727978) (← links)
- Some computational aspects of metric fixed-point theory (Q1775881) (← links)
- Mann iterates of directionally nonexpansive mappings in hyperbolic spaces (Q1811865) (← links)
- Remarks on Herbrand normal forms and Herbrand realizations (Q1813063) (← links)
- A negationless interpretation of intuitionistic theories (Q1841006) (← links)
- Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
- Uniform asymptotic regularity for Mann iterates. (Q1874614) (← links)
- A note on the \(\Pi_ 2^ 0\)-induction rule (Q1902342) (← links)
- A note on Goodman's theorem (Q1970595) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Quantitative translations for viscosity approximation methods in hyperbolic spaces (Q2059976) (← links)
- On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space (Q2115315) (← links)
- Quantitative analysis of a subgradient-type method for equilibrium problems (Q2129632) (← links)
- Correction to: ``Quantitative analysis of a subgradient-type method for equilibrium problems'' (Q2129633) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- Moduli of regularity and rates of convergence for Fejér monotone sequences (Q2317680) (← links)
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
- Addendum to: ``Effective metastability of Halpern iterates in CAT(0) spaces'' (Q2445392) (← links)
- Quantitative image recovery theorems (Q2451917) (← links)
- Extracting Herbrand disjunctions by functional interpretation (Q2486989) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man'' game (Q2658486) (← links)
- On modified Halpern and Tikhonov-Mann iterations (Q2697004) (← links)
- (Q2765568) (← links)
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR (Q2769522) (← links)
- (Q2856500) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
