Publication:3001098
From MaRDI portal
zbMath1269.03056MaRDI QIDQ3001098
Publication date: 31 May 2011
46C05: Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product)
03F10: Functionals in proof theory
Related Items
Gödel functional interpretation and weak compactness, On quantitative versions of theorems due to F. E. Browder and R. Wittmann, Quantitative results for Halpern iterations of nonexpansive mappings, On the computational content of the Bolzano-Weierstraß Principle