1. and Samuel Jr more solutions of Martin Davis s quaternary quartic equa - tion Math;Daniel Shanks;Comp,1995
2. Franck Lepre vost Edward William and Joseph We - therell Empirical evidence for the Birch and Swinnerton - Dyer conjectures for modular Jacobians of genus curves Math;Victor Flynn;Comp,2001
3. Decidability of the universal theory of natural numbers with addition and divisibility Studies in constructive mathematics and mathematical logic VII Zap Naucˇn Sem Leningrad Otdel Mat;Beltjukov;Inst Steklov,1976
4. Hilbert s tenth problem is unsolvable Monthly;Martin Davis;Math,1973
5. The Diophantine problem for addition and divisibility;Leonard Lipshitz;Trans Amer Math Soc,1978