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).
外部链接
- 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)
- BURP
- Charity Engine(英语:Charity Engine)
- CPDN Beta
- RNA World
- Test4Theory
- WEP-M+2 Project
- Albert@Home
- BOINC@TACC
- 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
- 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