A Sharp Bound for the Ratio of the First Two Dirichlet Eigenvalues of a Domain in a Hemisphere of SnMark S. Ashbaugh and Rafael D. Benguria · Transactions of the American Mathematical Society · 2001

Davis Martin, Putnam Hilary, and Robinson Julia. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436.Rogers, Hartley · The Journal of Symbolic Logic · 1970