It is shown that the Galerkin approximation procedure is an effective representation of the solution of a computable coercive variational problem in a computable Hilbert space.
@article{1181050956,
author = {Yoshikawa, Atsushi},
title = {On computability of the Galerkin procedure},
journal = {Proc. Japan Acad. Ser. A Math. Sci.},
volume = {83},
number = {1},
year = {2007},
pages = { 69-72},
language = {en},
url = {http://dml.mathdoc.fr/item/1181050956}
}
Yoshikawa, Atsushi. On computability of the Galerkin procedure. Proc. Japan Acad. Ser. A Math. Sci., Tome 83 (2007) no. 1, pp. 69-72. http://gdmltest.u-ga.fr/item/1181050956/