Some undecidable problems involving elementary functions of a real variable
recursion theory, constructive mathematics
scientific article; zbMATH DE number 3280066