Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set? (Q2843817)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set?
scientific article

    Statements

    Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set? (English)
    0 references
    0 references
    0 references
    26 August 2013
    0 references
    0 references
    Davis-Putnam-Robinson-Matiyasevich theorem
    0 references
    Matiyasevich's conjecture on finite-fold Diophantine representations
    0 references
    0 references