Yuri Matiyasevich
Library Home 
Full Table of Contents 
Suggest a Link 
Library Help
http://logic.pdmi.ras.ru/~yumat/  


Yuri Matiyasevich is best known for finding a negative solution to Hilbert's Tenth Problem, which has applications to the theory of algorithms, algebra, number theory, model theory, proof theory, and theoretical computer science. As well as information about this problem, this site contains links to several of Matiyasevich's other articles, some of which must be downloaded in LaTex, PostScript, PDF, or .dvi formats.  


Levels:  College, Research 
Languages:  English 
Resource Types:  Articles, Books 
Math Topics:  Modern Algebra, Combinatorics, Number Theory, Topology, Formal Languages and Automata 
[Privacy Policy] [Terms of Use]
© 1994 The Math Forum at NCTM. All rights reserved.
http://mathforum.org/