Quantitative translations for viscosity approximation methods
Speaker: Pedro Pinto (Technische Universitat Darmstadt).
Abstract: Proof mining is a research program that employs proof theoretical tools to obtain additional information from mathematical results, [1]. Its techniques have been applied successfully to many areas of Mathematics with special focus on Nonlinear Analysis. This presentation reports ongoing joint work with Ulrich Kohlenbach.