My collaboration with Julia Robinson

DOI10.1007/BF03024472zbMath0770.01005WikidataQ55924049 ScholiaQ55924049MaRDI QIDQ1208619

Yu. V. Matiyasevich

Publication date: 16 May 1993

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

diophantine equationlogicnumber theoryDiophantine equationHilbert's tenth problem

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of number theory (11-03)

Related Items

Exact divisibility by powers of the integers in the Lucas sequence of the first kind, Exact divisibility by powers of the integers in the Lucas sequences of the first and second kinds, Hilbert's problems and their sequels, Exact divisibility by powers of the Pell and associated Pell numbers

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The decision problem for exponential diophantine equations
• An iterative method of solving a game
• The Autobiography of Julia Robinson
• Universal diophantine equation
• Notes on Binomial Coefficients I-A Generalization of Lucas' Congruence†
• Reduction of an arbitrary diophantine equation to one in 13 unknowns
• A Machine-Oriented Logic Based on the Resolution Principle
• Unsolvable Diophantine Problems
• Existential Definability in Arithmetic