scientific article; zbMATH DE number 5064948

zbMath1107.03049MaRDI QIDQ5494231

Vasco Brattka

Publication date: 17 October 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Banach spacebounded linear operatorsBanach-Steinhaus theoremuniform boundedness theoremcomputable functional analysiseffective representations

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive functional analysis (46S30) Theory of numerations, effectively presented structures (03D45)

Related Items (7)

Computable Riesz Representation for the Dual of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi>C</mml:mi><mml:mo stretchy="false">[</mml:mo><mml:mn>0</mml:mn><mml:mo>;</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false"></mml:mo></mml:math>] ⋮ Computability and Analysis, a Historical Approach ⋮ Borel complexity and computability of the Hahn-Banach theorem ⋮ Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus ⋮ On the convergence of Fourier series of computable Lebesgue integrable functions ⋮ A computable version of Banach's inverse mapping theorem ⋮ Weihrauch Complexity in Computable Analysis

This page was built for publication: