Matiyasevich's theorem (English, name)
expansion: Matiyasevich's theorem
Senses:
topics: mathematics
sciences
glosses: A theorem stating that every computably enumerable set is a Diophantine set, and the converse.
Forms: