- Seminars
- A new application of proof mining in the fixed point theory of uniformly convex Banach spaces
A new application of proof mining in the fixed point theory of uniformly convex Banach spaces
Speaker
Thomas Powell - Technische Universität Darmstadt
Date
Mar 20, 2019 - Time:
10:30
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.
Thomas Powell web page: https://www2.mathematik.tu-darmstadt.de/~powell/
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
- Data pubblicazione
- Mar 13, 2019
- Department
- Computer Science