Laurentiu Leustean
Department of Mathematics, TU Darmstadt, Germany
and
Institute of Mathematics "Simion Stoilow'' of the Romanian 
Academy, Bucharest, Romania

Title: Proof mining in nonlinear analysis

Abstract:

By "proof mining" we understand developing proof-theoretic techniques 
which systematically transform ineffective proofs of mathematical 
theorems in such a way that explicit 
quantitative data, e.g. effective uniform bounds, are extracted, which 
were not visible beforehand.

In this talk we present recent uses of proof mining in nonlinear analysis, 
more specifically in the theory of approximate fixed points of 
(asymptotically) nonexpansive mappings.