Computable sequences in the Sobolev spaces

DOI10.3792/pjaa.80.15zbMath1060.46058OpenAlexW2072932059MaRDI QIDQ1884118

Atsushi Yoshikawa, Shoki Miyamoto

Publication date: 25 October 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.80.15

zbMATH Keywords

effective and non-effective convergence

Mathematics Subject Classification ID

Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Constructive and recursive analysis (03F60) Constructive functional analysis (46S30)

Related Items (1)

Towards computability of elliptic boundary value problems in variational formulation

Cites Work

• Computability structure of the Sobolev spaces and its applications
• Interpolation functor and computability.
• Intermediate spaces and interpolation, the complex method
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computable sequences in the Sobolev spaces