2026 Ulrich Kohlenbach: Mathematics Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Mathematics	30	3540	3157	218	197	150	3501

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Mathematics

3540

3157

218

197

150

3501

Overview

Ulrich Kohlenbach is affiliated with the Technical University of Darmstadt in Germany.

Their research spans the main fields of Mathematics and Computer Science with a focus on several subfields including Computational Theory and Mathematics, Mathematical Physics, Geometry and Topology, Numerical Analysis, and Applied Mathematics.

The primary topics covered in their work include Optimization and Variational Analysis, Numerical methods in inverse problems, Advanced Optimization Algorithms Research, Advanced Banach Space Theory, Computability, Logic, AI Algorithms, Fixed Point Theorems Analysis, and Advanced Topology and Set Theory.

Frequent co-authors in their publications include Nicholas Pischke, Anton Freund, Pedro Pinto, Horaţiu Cheval, and Laurenţiu Leuştean.

Their work has appeared in a variety of publication venues, notably arXiv (Cornell University), Numerical Algorithms, Journal of Mathematical Analysis and Applications, Oberwolfach Reports, and Journal of Optimization Theory and Applications.

Recent papers published by Ulrich Kohlenbach include:

On Modified Halpern and Tikhonov-Mann Iterations (2023), Journal of Optimization Theory and Applications
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space (2021), Optimization Letters
Rates of convergence for iterative solutions of equations involving set-valued accretive operators (2020), Computers & Mathematics with Applications
Proof theory and non-smooth analysis (2023), Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
Quantitative analysis of a subgradient-type method for equilibrium problems (2021), Numerical Algorithms

Best Publications

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

Ulrich Kohlenbach

532
Citations
Some logical metatheorems with applications in functional analysis

Ulrich Kohlenbach

378
Citations
Analysing proofs in analysis

Ulrich Kohlenbach

132
Citations
Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation

Ulrich Kohlenbach

124
Citations
General logical metatheorems for functional analysis

Philipp Gerhardy;Ulrich Kohlenbach

112
Citations
Higher Order Reverse Mathematics

Ulrich Kohlenbach

98
Citations
Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization

Ulrich Kohlenbach

97
Citations
Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces

Ulrich Kohlenbach;Laurentiu Leuştean

86
Citations
An arithmetical hierarchy of the law of excluded middle and related principles

Y. Akama;S. Berardi;S. Hayashi;U. Kohlenbach

84
Citations
PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS

Ulrich Kohlenbach

79
Citations
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces

Ulrich Kohlenbach;Laurentiu Leustean

76
Citations
A Quantitative Version of a Theorem Due to Borwein-Reich-Shafrir

Ulrich Kohlenbach

75
Citations
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals

Ulrich Kohlenbach

72
Citations
Proof Mining: A Systematic Way of Analysing Proofs in Mathematics

Ulrich Kohlenbach;Paulo B. Oliva

66
Citations
On the No-Counterexample Interpretation

Ulrich Kohlenbach

65
Citations
On quantitative versions of theorems due to F.E. Browder and R. Wittmann

Ulrich Kohlenbach

64
Citations
Uniform asymptotic regularity for Mann iterates

Ulrich Kohlenbach

62
Citations
Some computational aspects of metric fixed-point theory

Ulrich Kohlenbach

58
Citations
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

Ulrich Kohlenbach

56
Citations
Arithmetizing proofs in analysis

Ulrich Kohlenbach

55
Citations
Foundational and Mathematical Uses of Higher Types

Ulrich Kohlenbach

50
Citations

Frequent Co-Authors

Leonid Libkin University of Edinburgh

Samuel R. Buss University of California, San Diego

External Links

Personal website of Ulrich Kohlenbach

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

For students studying Mathematics in the USA, exploring related online degrees can expand career opportunities across diverse industries. For instance, pursuing an online marketing degree combines quantitative skills with business strategy, unlocking roles in data-driven marketing and consumer analytics.

For those interested in advancing into management, a 1 year MBA offers a swift, intensive path to leadership positions. Many programs also accommodate prior education through options like can you transfer MBA credits, helping students reduce time and cost by recognizing earlier coursework.

Given the growing importance of big data, mathematics graduates often enhance their expertise with a focus on analytics. A specialized analytics masters programs develop skills in statistical analysis, machine learning, and data interpretation, preparing graduates for high-demand roles across tech, finance, and healthcare.

Choosing related online degrees aligned with mathematical skills not only broadens knowledge but also maximizes career flexibility in a competitive market.