ABC@Home是一個分布式計算項目,是一個旨在通過計算窮舉abc猜想條件的三元數組從而幫助數學家破解這個猜想。

該項目主持單位是荷蘭萊頓大學數學研究所,運行平台為BOINC平台。

研究內容介紹

通過窮舉計算一直到C≤10^18來滿足ABC猜想條件的三元數組。也可以說是滿足 C=A+B, A<B, rad(ABC)<C.

通過研究這些三元數組的分布,來證明這個ABC猜想未解決的數學問題。也就可以間接的證明部分的費馬-卡特蘭猜想和完全證明Schinzel-Tijdeman猜想。[1]

項目進度

參考文獻

外部連結

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.