最終更新日：2024/08/08
The MRDP theorem, also known as Matiyasevich's theorem, states that there is no algorithm to determine whether a given Diophantine equation has integer solutions.
正解を見る
The MRDP theorem, also known as Matiyasevich's theorem, states that there is no algorithm to determine whether a given Diophantine equation has integer solutions.
編集履歴（0）
