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.

Abstract

Abstract is missing.