Quelle: Wikimedia Commons
Hat mitgewirkt an:
-
Approximate fixed points of nonexpansive functions in product spaces : (extended abstract)
-
Proof Mining for Nonlinear Operator Theory: Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups
-
Applied proof theory: proof interpretations and their use in mathematics
-
Computational Complexity Theory for Advanced Function Spaces in Analysis