*The aim of this page* is to promote research connected with the
negative solution of Hilbert's Tenth Problem. The negative solution of this
problem and the developed techniques have a lot of applications in theory of
algorithms, algebra, number theory, model theory, proof theory and in
theoretical computer science.

You can find here:

- The original statement of Hilbert's Tenth Problem and its translation into different languages.
- History of the problem.
- Bibliography.
- Homepage of a book about the problem written by Yury Matiyasevich .
- Glossary.
- The Journal.
- Conferences and meetings devoted to Hilbert's Tenth Problem and related subjects.
- Film about Hilbert's Tenth Problem.
- Records of Hilbert's Tenth Problem.
- Portrait gallery (David Hilbert, Julia Robinson, Martin Davis, Yuri Matiyasevich).
- Links to other related WWW-sites.

This page was created by Maxim Vsemirnov under supervision of Yuri Matiyasevich .

**Last modified: March 14, 2007 **