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

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

研究內容介紹

編輯

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

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

項目進度

編輯

參考文獻

編輯
  1. ^ THE ABC CONJECTURE HOME PAGE. [2011-10-02]. (原始內容存檔於2000-08-19). 

外部連結

編輯