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.

Authors

Atsushi Yoshikawa

This author has not been identified. Look up 'Atsushi Yoshikawa' in Google

Mariko Yasugi

This author has not been identified. Look up 'Mariko Yasugi' in Google