Some recursively unsolvable problems in analysis
M. Davis, Extensions and corollaries of recent work on Hilberts tenth problem, Illinois J. Math. 7 (1963), 251-256.
A. Tarski, A decision method for elementary algebra and geometry, The RAND Corporation, 1948.
Retrieve articles in Proceedings of the American Mathematical Society with MSC: 02.74
Retrieve articles in all journals with MSC: 02.74