A new application of proof mining in the fixed point theory of uniformly convex Banach spaces

Speaker:  Thomas Powell - Technische Universität Darmstadt
  Wednesday, March 20, 2019 at 10:30 AM 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 
 
 

Programme Director

Publication date
March 13, 2019

Studying