Creative Commons Attribution-Share Alike 2.0 de
Has participated in:
-
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space
-
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness
-
Approximate fixed points of nonexpansive functions in product spaces : (extended abstract)
-
Applied proof theory: proof interpretations and their use in mathematics