ABC@Home

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）. 

外部链接

  • ABC@Home项目官方网站（页面存档备份，存于互联网档案馆）
  • 荷兰莱顿大学数学研究所网站
  • 查
  • 论
  • 编
伯克利开放式网络计算平台（BOINC）分布式计算專案/项目
当前的项目
  • Climateprediction.net
  • Cosmology@Home（英语：Cosmology@Home）
  • Einstein@Home
  • Enigma@Home
  • GPUGRID.net（英语：GPUGRID.net）
  • Ibercivis（英语：Ibercivis）
  • LHC@home
  • MilkyWay@home（英语：MilkyWay@home）
  • MindModeling@Home（英语：MindModeling@Home）
  • Moo! Wrapper（英语：Moo! Wrapper）
  • PrimeGrid（英语：PrimeGrid）
  • Rosetta@home
  • Universe@Home
  • 世界公共网格
  • Yoyo@home（英语：Yoyo@home）
Beta项目
  • BURP
  • Charity Engine（英语：Charity Engine）
  • CPDN Beta
  • RNA World
  • Test4Theory
  • WEP-M+2 Project
Alpha项目
  • Albert@Home
  • BOINC@TACC
  • CAS@home
  • DENIS@Home（英语：DENIS@Home）
  • Donate@Home
  • FightMalaria@Home
  • Gerasim@Home（俄语：Gerasim@Home）
  • iThena
  • MLC@Home
  • nanoHUB@home
  • NFS@Home
  • NumberFields@home
  • ODLK
  • RALPH@home
  • QuChemPedIA@home
  • RADIOACTIVE@HOME
  • SIDock@home
  • VGTU@Home
  • WUProp@Home
  • YAFU
工具和技术
  • BOINC客户端-服务器技术（英语：BOINC client–server technology）
  • BOINC积分系统（英语：BOINC Credit System）
  • 格雷德币
  • GridRepublic（英语：GridRepublic）
结束/不活动
的项目
  • 地震捕手网络(Quake-Catcher Network)
  • CAS@home
  • 3x+1@Home
  • ABC@Home
  • ABC Lattices @Home
  • AlmereGrid Boinc Grid
  • APS@Home
  • AQUA@home（英语：AQUA@home）
  • Artificial Intelligence System（英语：Artificial Intelligence System）
  • Asteroids@home
  • BBC Climate Change Experiment
  • Biochemical Library
  • BRaTS@Home
  • Cell Computing（英语：Cell Computing）
  • Cels@Home
  • Chess960@home
  • Citizen Science Grid
  • Constellation (platform)
  • Correlizer（英语：Correlizer）
  • DepSpid
  • DistributedDataMining
  • DistrRTgen（英语：DistrRTgen）
  • DNA@Home
  • DNETC@HOME
  • Docking@Home
  • DrugDiscovery@Home
  • DynaPing
  • EDGeS@Home（德语：EDGeS@Home）
  • eOn（英语：eOn）
  • Eternity2.net
  • FreeHAL（英语：FreeHAL）（服务器故障）
  • Genetic Life
  • Goldbach's Conjecture Project
  • HashClash（英语：HashClash）
  • Hydrogen@Home
  • The Lattice Project（英语：The Lattice Project）
  • Leiden Classical
  • 瘧疾控制計畫
  • Magnetism@home
  • Mersenne@home
  • μFluids@Home
  • Nano-Hive@Home
  • NQueens@home
  • OPTIMA@HOME
  • Orbit@home（英语：Orbit@home）
  • Pirates@home（西班牙语：Pirates@home）
  • POEM@Home（英语：POEM@Home）
  • Predictor@home
  • Primaboinca
  • Proteins@home（英语：Proteins@home）
  • QMC@Home（英语：QMC@Home）
  • QuantumFIRE
  • Ramsey@Home
  • Rectilinear Crossing Number
  • Renderfarm.fi
  • Reversi（英语：Reversi）
  • Riesel Sieve（英语：Riesel Sieve）（已併入PrimeGrid）
  • RND@home
  • RSA Lattice Siever
  • SAT@home（俄语：SAT@home）
  • SciLINC
  • Seasonal Attribution Project（英语：Seasonal Attribution Project）
  • SETI@home（子项目 Astropulse）
  • SETI@home beta（英语：SETI@home beta）
  • SHA-1 Collision Search Graz
  • SIMAP
  • Simulation One
  • SLinCA
  • Spinhenge@Home
  • SubsetSum@Home
  • Sudoku@vtaiwan
  • Sudoku project
  • Superlink@Technion
  • Surveill@Home
  • Sustainable Grid
  • SZTAKI Desktop Grid（英语：SZTAKI Desktop Grid）
  • TANPAKU（日语：TANPAKU）
  • theSkyNet（英语：theSkyNet）
  • Virtual Prairie
  • Virus Respiratorio Sincitial
  • Volpex
  • XtremLab