Ziegler, Martin Real computation with least discrete advice: a complexity theory of nonuniform computability with applications to effective linear algebra. (English) Zbl 1259.03059 Ann. Pure Appl. Logic 163, No. 8, 1108-1139 (2012). Reviewer: Daniel Graça (Faro) MSC: 03D78 03D45 03D15 68Q17 65F99 PDFBibTeX XMLCite \textit{M. Ziegler}, Ann. Pure Appl. Logic 163, No. 8, 1108--1139 (2012; Zbl 1259.03059) Full Text: DOI
Yoshikawa, Atsushi On computability of the Galerkin procedure. (English) Zbl 1143.03022 Proc. Japan Acad., Ser. A 83, No. 5, 69-72 (2007). MSC: 03D80 03D45 03F60 41A65 46C05 46S30 65K10 PDFBibTeX XMLCite \textit{A. Yoshikawa}, Proc. Japan Acad., Ser. A 83, No. 5, 69--72 (2007; Zbl 1143.03022) Full Text: DOI