.png){kind=icon}
返回
Creating Decidable Diophantine Equations
.png){kind=icon}
PRE
AI
DOI：10.1080/00029890.2025.2555161.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
希尔伯特著名的第十问题询问是否存在一个算法来确定给定的丢番图方程是否有解——换句话说，丢番图方程是否是可判定的。尤里·马季亚谢维奇证明答案是否定的，丢番图方程是不可判定的。然而，事实证明，马季亚谢维奇的思想可以被反过来使用，用来构造可判定的丢番图方程族。你需要的（作为起点）是Tribonacci数和一些微积分知识。
Keyword:
11
期刊
A
IF:
0.4
论文数:
111
被引数:
0
机构
引用论文
.png){kind=icon}
没有更多内容
没有更多内容