Robert Rettinger
FernUniversität Hagen, LG Komplexität und Algorithmen, Universitätsstrasse 1, D-58095 Hagen
Computable analysis: an introduction
We prove the computability of Blochs constant by presenting the first algorithm for this constant.