Ulrich Kohlenbach
Technische Universität Darmstadt
H-index: 36
Europe-Germany
Top articles of Ulrich Kohlenbach
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
EFFECTIVE RATES FOR ITERATIONS INVOLVING BREGMAN STRONGLY NONEXPANSIVE OPERATORS | NICHOLAS PISCHKE ULRICH KOHLENBACH | 2024/2/5 | |
Rates of convergence and metastability for Chidume’s algorithm for the approximation of zeros of accretive operators in Banach spaces | Numerical Functional Analysis and Optimization | Richard Findling Ulrich Kohlenbach | 2024/2/27 |
Kreisel’s ‘shift of emphasis’ and contemporary proof mining | Studies in Logic | Ulrich Kohlenbach | 2023 |
Fej\'er monotone sequences revisited | arXiv preprint arXiv:2310.06528 | Ulrich Kohlenbach Pedro Pinto | 2023/10/10 |
Proof theory and non-smooth analysis | Philosophical Transactions of the Royal Society A | Ulrich Kohlenbach Nicholas Pischke | 2023/5/29 |
Bounds for a nonlinear ergodic theorem for Banach spaces | Ergodic Theory and Dynamical Systems | Anton Freund Ulrich Kohlenbach | 2023/5 |
On Modified Halpern and Tikhonov–Mann Iterations | Journal of Optimization Theory and Applications | Horaţiu Cheval Ulrich Kohlenbach Laurenţiu Leuştean | 2023/3/18 |
Maria Hämeen-Anttila and Jan von Plato, eds, Kurt Gödel: The Princeton Lectures on Intuitionism | Ulrich Kohlenbach | 2023/2/1 | |
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space | Optimization Letters | Ulrich Kohlenbach | 2022/3 |
Correction to: Quantitative analysis of a subgradient-type method for equilibrium problems | Numerical Algorithms | Nicholas Pischke Ulrich Kohlenbach | 2022/5/1 |
Quantitative analysis of a subgradient-type method for equilibrium problems | Numerical Algorithms | Nicholas Pischke Ulrich Kohlenbach | 2022/5 |
RE Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces | arXiv preprint arXiv:2204.04100 | Anton Freund Ulrich Kohlenbach | 2022/4/8 |
Quantitative translations for viscosity approximation methods in hyperbolic spaces | Journal of Mathematical Analysis and Applications | Ulrich Kohlenbach Pedro Pinto | 2022/3/15 |
Quantitative results on the proximal point algorithm in uniformly convex Banach spaces | J. Convex Anal | Ulrich Kohlenbach | 2021/1/1 |
Mazari Armida received his Ph. D. in 2021 from Carnegie Mellon University under the supervision of Rami Grossberg. His thesis Remarks on classification theory for abstract … | The Bulletin of Symbolic Logic | Alekos Kechris Benedikt Byunghan Kim Ulrich Kohlenbach Penelope Maddy Heike Mildenberger | 2021/12 |
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness | Archive for Mathematical Logic | Ulrich Kohlenbach | 2021/11 |
The finitary content of sunny nonexpansive retractions | Communications in Contemporary Mathematics | Ulrich Kohlenbach Andrei Sipoş | 2021/2/21 |
A uniform betweenness property in metric spaces and its role in the quantitative analysis of the “Lion-Man” game | Pacific Journal of Mathematics | Ulrich Kohlenbach Genaro López-Acedo Adriana Nicolae | 2021/1/26 |
Mathematical Logic: Proof Theory, Constructive Mathematics | Samuel R Buss La Jolla | 2020/11/8 | |
Rates of convergence for iterative solutions of equations involving set-valued accretive operators | Computers & Mathematics with Applications | Ulrich Kohlenbach Thomas Powell | 2020/8/1 |