Ulrich Kohlenbach

Geometry and Topology · 2001–2019

A researcher in the Science corpus: 11 papers; trusts 12 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

• Geometry and Topology — 20 citations into it; #835 of 7,422 by trust here, #993 by citations
• Computational Theory and Mathematics — 17 citations into it; #1,466 of 12,182 by trust here, #2,201 by citations
• Mathematical Physics — 7 citations into it; #2,022 of 8,562 by trust here, #4,247 by citations
• Numerical Analysis — 6 citations into it; #725 of 3,586 by trust here, #1,559 by citations
• Applied Mathematics — 5 citations into it; #5,467 of 7,620 by trust here, #4,033 by citations

Whom Ulrich Kohlenbach trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Terence Tao
2. Satit Saejung
3. Philipp Gerhardy
4. Laurentiu Leustean
5. Jeremy Avigad
6. Simeon Reich
7. Henry Towsner
8. Hong-Kun Xu
9. Tomonari Suzuki
10. Wataru Takahashi

Who trusts Ulrich Kohlenbach overall

1. Laurentiu Leustean
2. David Ariza-Ruiz
3. Jeremy Avigad
4. Paulo Oliva
5. Philipp Gerhardy
6. Genaro López-Acedo
7. Miroslav Bacák
8. Henry Towsner
9. Martín Hötzel Escardó

Papers from Ulrich Kohlenbach's perspective

Ordered by how strongly the researchers Ulrich Kohlenbach trusts endorse each paper. Same corpus, a different order for every researcher.

1. Applied Proof Theory - Proof Interpretations and their Use in Mathematics (Springer Monographs in Mathematics)
2. General logical metatheorems for functional analysis
3. A sufficient and necessary condition for Halpern-type strong convergence to fixed points of nonexpansive mappings
4. Iterative Algorithms for Nonlinear Operators
5. Uniformly convex spaces
6. Mann iterates of directionally nonexpansive mappings in hyperbolic spaces
7. Uniform asymptotic regularity for Mann iterates
8. A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
9. Norm convergence of multiple ergodic averages for commuting transformations (Ergodic Theory and Dynamical Systems)
10. Strong convergence of approximated sequences for nonexpansive mappings in Banach spaces

Their papers

• Some logical metatheorems with applications in functional analysis (2003) — 362 citations
• General logical metatheorems for functional analysis (2005) — 128 citations
• Uniform asymptotic regularity for Mann iterates (2002) — 59 citations
• Mann iterates of directionally nonexpansive mappings in hyperbolic spaces (2002) — 67 citations
• A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR (2001) — 62 citations
• Effective metastability of Halpern iterates in CAT(0) spaces (2011) — 53 citations
• Proof Mining: A Systematic Way of Analysing Proofs in Mathematics (2002) — 94 citations
• PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS (2019) — 80 citations
• On quantitative versions of theorems due to F.E. Browder and R. Wittmann (2011) — 75 citations
• Applied Proof Theory - Proof Interpretations and their Use in Mathematics (2008) — 506 citations
• Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (2007) — 69 citations