Short for Matiyasevich–Robinson–Davis–Putnam. the <span class="searchmatch">MRDP</span> <span class="searchmatch">theorem</span> Synonym of Matiyasevich's <span class="searchmatch">theorem</span>....
Matiyasevich's theorem (mathematics) A theorem stating that every computably enumerable set is a Diophantine set, and the converse. Synonym: <span class="searchmatch">MRDP</span> <span class="searchmatch">theorem</span>...
Miquel's <span class="searchmatch">theorem</span> Mittag-Leffler's <span class="searchmatch">theorem</span> monotone convergence <span class="searchmatch">theorem</span> Monsky's <span class="searchmatch">theorem</span> Mordell-Weil <span class="searchmatch">theorem</span> Morley's trisector <span class="searchmatch">theorem</span> <span class="searchmatch">MRDP</span> <span class="searchmatch">theorem</span> Nachbin's...