- Technische Universität Darmstadt
mercoledì 20 marzo 2019
Sala Riunioni Secondo Piano
Proof mining is a branch of proof theory which makes use of
proof theoretic techniques to extract quantitative information from
seemingly nonconstructive proofs. In this talk, I present a new
application of proof mining in functional analysis, which focuses on the
convergence of Picard iterates for generalisations of nonexpansive
mappings in uniformly convex Banach spaces.
On the same morning in the same room the speaker will give a preparatory lecture from 09.30, an overview of proof mining.
Contact person: Peter Schuster