On computability of the Galerkin procedure
scientific article; zbMATH DE number 5310174