TY - JOUR
T1 - Some decidable diophantine problems
T2 - Positive solution to a problem of davis, matijasevic and robinson
AU - Koppel, Moshe
PY - 1979/12
Y1 - 1979/12
N2 - An algorithm is given for determining whether or not a finite system of conditions of the types a\B, a < B, a is a square, possess a simultaneous solution in positive integers. Various generalizations are also obtained.
AB - An algorithm is given for determining whether or not a finite system of conditions of the types a\B, a < B, a is a square, possess a simultaneous solution in positive integers. Various generalizations are also obtained.
KW - Decidability
KW - Diophantine problems
UR - http://www.scopus.com/inward/record.url?scp=84966258211&partnerID=8YFLogxK
U2 - 10.1090/S0002-9939-1979-0545589-6
DO - 10.1090/S0002-9939-1979-0545589-6
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:84966258211
SN - 0002-9939
VL - 77
SP - 319
EP - 323
JO - Proceedings of the American Mathematical Society
JF - Proceedings of the American Mathematical Society
IS - 3
ER -