ABC@Home
ABC@Home是一個分布式計算項目，是一個旨在通過計算窮舉abc猜想條件的三元數組從而幫助數學家破解這個猜想。
該項目主持單位是荷蘭萊頓大學數學研究所，運行平台為BOINC平台。
研究內容介紹
通過窮舉計算一直到C≤10^18來滿足ABC猜想條件的三元數組。也可以說是滿足 C=A+B, A＜B, rad(ABC)<C.
通過研究這些三元數組的分布，來證明這個ABC猜想未解決的數學問題。也就可以間接的證明部分的費馬-卡特蘭猜想和完全證明Schinzel-Tijdeman猜想。[1]
項目進度
參考文獻
- ^ THE ABC CONJECTURE HOME PAGE. [2011-10-02]. （原始內容存檔於2000-08-19）.