1. Yu. V. Matiyasevich, ‘‘Tarski algorithm,’’ Komp’yuternye Instrum. v Obrazovanii, No. 6, 4–14 (2008).
2. Yu. V. Matiyasevich, Tenth Problem of Hilbert (Fizmatlit, Moscow, 1993).
3. A. Adler, ‘‘Some recursively unsolvable problems in analysis,’’ Proc. Am. Math. Soc. 22, 523–526 (1969). https://doi.org/10.1090/s0002-9939-1969-0248020-7
4. P. Wang, ‘‘The undecidability of the existence of zeros of real elementary functions,’’ J. ACM 21, 586–589 (1974). https://doi.org/10.1145/321850.321856
5. D. Richardson, ‘‘Some undecidable problems involving elementary functions of a real variable,’’ J. Symbolic Logic 33, 514–520 (1968). https://doi.org/10.2307/2271358