TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 20.

Kohlenbach, Ulrich (2022)
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space.
In: Optimization Letters, 16 (2)
doi: 10.1007/s11590-021-01738-9
Article, Bibliographie

Kohlenbach, Ulrich (2021)
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
In: Archive for Mathematical Logic, 60 (7-8)
doi: 10.1007/s00153-021-00771-w
Article, Bibliographie

Kohlenbach, Ulrich (2007)
Effective bounds from proofs in abstract functional analysis.
In: New Computational Paradigms : Changing Conceptions of What is Computable
Book Section, Bibliographie

Kohlenbach, Ulrich (2007)
Proof interpretations and the computational content of proof in mathematics.
In: Bulletin of the European Association for Theoretical Computer Science EATCS, 93
Article, Bibliographie

Kohlenbach, Ulrich (2007)
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
Conference or Workshop Item, Bibliographie

Kohlenbach, Ulrich ; Streicher, Thomas (2007)
Shoenfield is Goedel after Krivine.
In: Mathematical Logic Quarterly : MLQ., 53
Article, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2007)
The approximate fixed point property in product spaces.
In: Nonlinear Analysis Series A: Theory, Methods & Applications, 66
Article, Bibliographie

Kohlenbach, Ulrich ; Gerhardy, Philipp (2006)
Strongly uniform bounds from semi-constructive proofs.
In: Annals of Pure and Applied Logic, 141
Article, Bibliographie

Kohlenbach, Ulrich (2006)
A logical uniform boundedness principie for abstract metric and hyperbolic spaces.
In: Electronic Notes in Theoretical Computer Science, 165
Article, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005)
Approximate fixed point property in product spaces.
Conference or Workshop Item, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005)
Approximate fixed points of nonexpansive functions in product spaces.
Conference or Workshop Item, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
Extracting Herbrand disjunctions by functional interpretation.
In: Archive for Mathematical Logic, 44
Article, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
General logical metatheorems for functional analysis.
In: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878), 21
Article, Bibliographie

Kohlenbach, Ulrich (2005)
Proof mining: application of proof theory to analysis.
Conference or Workshop Item, Bibliographie

Kohlenbach, Ulrich (2005)
Reverse mathematics in higher types.
In: Reverse mathematics
Book Section, Bibliographie

Kohlenbach, Ulrich (2005)
Some Logical Metatheorems with Applications in Functional Analysis.
In: Transactions American Mathethematical Society, 357
Article, Bibliographie

Kohlenbach, Ulrich (2005)
Some computational aspects of metric fixed point theory.
In: Nonlinear Analysis, 61
Article, Bibliographie

Hernest, Mircea-Dan ; Kohlenbach, Ulrich (2005)
A complexity analysis of functional interpretations.
In: Theoretical Computer Science, 338
Article, Bibliographie

Kohlenbach, Ulrich ; Lambov, Branimir (2004)
Bounds on iterations of asymptotically quasi-non-expansive mappings.
Conference or Workshop Item, Bibliographie

Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich (2004)
An arithmetical hierarchy of the law of excluded middle and related principles.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Apr 16 00:56:18 2024 CEST.