A Banach-Mazur computable but not Markov computable function on the computable real numbers
scientific article; zbMATH DE number 2137209
scientific article