Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Yuri Matiyasevich

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

Visit this site: http://logic.pdmi.ras.ru/~yumat/
Author:
Description: 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]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

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