scientific article; zbMATH DE number 2247268
From MaRDI portal
Publication:5718580
zbMath1089.03054MaRDI QIDQ5718580
Publication date: 16 January 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Constructive functional analysis (46S30)
Related Items (6)
Towards computability of elliptic boundary value problems in variational formulation ⋮ Borel complexity and computability of the Hahn-Banach theorem ⋮ Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus ⋮ On Computable Compact Operators on Banach Spaces ⋮ A Universal Ordinary Differential Equation ⋮ A computable version of Banach's inverse mapping theorem
This page was built for publication: