On an ad hoc computability structure in a Hilbert space
From MaRDI portal
Publication:1425415
DOI10.3792/PJAA.79.65zbMath1052.03039OpenAlexW1986418339MaRDI QIDQ1425415
Publication date: 16 March 2004
Published in: Proceedings of the Japan Academy. Series A (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3792/pjaa.79.65
Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Constructive and recursive analysis (03F60) Applications of computability and recursion theory (03D80) Constructive functional analysis (46S30) Theory of numerations, effectively presented structures (03D45)
Related Items (2)
Towards computability of elliptic boundary value problems in variational formulation ⋮ On computability of the Galerkin procedure
Cites Work
This page was built for publication: On an ad hoc computability structure in a Hilbert space
