CIDEC ÜIK |
Estonian Winter Schools in Computer Science Eesti arvutiteaduse talvekoolid |
EWSCS 2002 EATTK 2002 |

VII Eesti Arvutiteaduse Talvekool (EATTK)

March 3 - 8, 2002

Steklov Institute of Mathematics (POMI)

St. Petersburg, RUSSIA

A Diophantine equation is an equation of the form

D(x_{1},...,x_{m}) = 0 ,

where D is a polynomial with integer coefficients. These equations were named
after the Greek mathematician Diophantus who lived in the 3^{rd} century A.D.

Hilbert's Tenth problem can be stated as follows:

Determination of the Solvability of a Diophantine Equation. Given a diophantine equation with any number of unknown quantities and with rational integral numerical coefficients, devise a process according to which it can be determined by a finite number of operations whether the equation is solvable in rational integers.

Yu. Matiyasevich. Hilbert's Tenth Problem. V. 1. of Pacific Inst. for the Math. Sciences Distinguished Lecture Series. Pacific Inst. for the Math. Sciences, 2000. *Reproduced with permission.*

Yu. Matiyasevich. My collaboration with Julia Robinson. The Mathematical Intelligencer, v. 14, n. 4, pp. 38-45, 1992.

Sect. 10.2. from Yu. Matiyasevich. Hilbert's 10th Problem. Foundations of Computing Series. The MIT Press, 1993.

E-mail: yumat@pdmi.ras.ru

URL: http://logic.pdmi.ras.ru/~yumat/

http://www.cs.ioc.ee/yik/schools/win2002/

Modified Tuesday, Jun 02, 2020 at 13:58 EEST+0300 by monika@cs.ioc.ee