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 -