scientific article; zbMATH DE number 2174396
From MaRDI portal
Publication:4681899
zbMath1079.03045MaRDI QIDQ4681899
Paulo Oliva, Ulrich Kohlenbach
Publication date: 8 June 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (23)
A quantitative version of Kirk's fixed point theorem for asymptotic contractions ⋮ Uniform asymptotic regularity for Mann iterates. ⋮ An abstract proximal point algorithm ⋮ Revisiting jointly firmly nonexpansive families of mappings ⋮ The mathematical significance of proof theory ⋮ Light monotone Dialectica methods for proof mining ⋮ Rates of Convergence for Asymptotically Weakly Contractive Mappings in Normed Spaces ⋮ Some logical metatheorems with applications in functional analysis ⋮ A rate of convergence for asymptotic contractions ⋮ Eliminating disjunctions by disjunction elimination ⋮ On computational properties of Cauchy problems generated by accretive operators ⋮ Programs from proofs using classical dependent choice ⋮ Bounded functional interpretation ⋮ A complexity analysis of functional interpretations ⋮ Strongly uniform bounds from semi-constructive proofs ⋮ On the computational content of the Bolzano-Weierstraß Principle ⋮ General logical metatheorems for functional analysis ⋮ Metastability of the proximal point algorithm with multi-parameters ⋮ Quantitative translations for viscosity approximation methods in hyperbolic spaces ⋮ Mechanized metatheory revisited ⋮ Problems, solutions, and completions ⋮ Light Dialectica Program Extraction from a Classical Fibonacci Proof ⋮ On subrecursive representation of irrational numbers: contractors and Baire sequences
This page was built for publication:
