|
Hilbert's Tenth Problem

Library Home ||
Full Table of Contents ||
Suggest a Link ||
Library Help

| http://logic.pdmi.ras.ru/Hilbert10/ | |
|
|
|
| Russian Academy of Sciences | |
| A page to promote research connected with the negative solution of Hilbert's Tenth Problem and developed techniques, which have applications in the theory of algorithms, algebra, number theory, model theory, proof theory and in theoretical computer science. Original statement (in German, English, French, and Russian): 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. Bibliography, Articles and preprints, and links to related sites. From the Laboratory of Mathematical Logic at the St. Petersburg Division of Steklov Institute of Mathematics (POMI) of the Russian Academy of Sciences. | |
|
|
|
| Levels: | College, Research |
| Languages: | English, French, German |
| Resource Types: | Articles, Preprints, Bibliographies |
| Math Topics: | Number Theory |
[Privacy Policy] [Terms of Use]


© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
The Math Forum is a research and educational enterprise of the Drexel University School of Education.