Computable Versions of Basic Theorems in Functional Analysis

Atsushi Yoshikawa, Mariko Yasugi. Computable Versions of Basic Theorems in Functional Analysis. In Tanja Grubba, Peter Hertling, Hideki Tsuiki, Klaus Weihrauch, editors, CCA 2005 - Second International Conference on Computability and Complexity in Analysis, August 25-29, 2005, Kyoto, Japan. Volume 326-7/2005 of Informatik Berichte, pages 378, FernUniversität Hagen, Germany, 2005.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.