ABC@Home

ABC@Home
Bereich:	Mathematik
Ziel:	Finden von Tripeln für die abc-Vermutung
Betreiber:	Math. Institut der Universität Leiden
Land:	Niederlande
Plattform:	BOINC
Website:	http://www.abcathome.com/
Projektstatus
Status:	aktiv
Beginn:	Dezember 2006
Ende:	noch aktiv

ABC@Home ist ein Projekt für verteiltes Rechnen des Mathematischen Instituts der Universität Leiden. Um die abc-Treffer unter allen Tripeln teilerfremder natürlicher Zahlen bis 10¹⁸, bei denen die dritte Zahl die Summe der beiden anderen Zahlen ist, zu finden, wird auf mehreren tausend privaten und institutionellen Computern die ungenutzte Rechenleistung verwendet: ABC@home läuft automatisch mittels der BOINC-Plattform im Hintergrund. Gegenwärtig (November 2011) läuft oder lief die Applikation weltweit auf ca. 112.000 Rechnern ^[1] in 183 Ländern^[2]. Dabei ist das erfolgreichste deutsche Team SETI.Germany als das Team mit der weltweit viertgrößten erzielten Rechenleistung. ^[3] Nach Erreichen des ursprünglichen Ziels soll die Suche bis 2⁶³ fortgesetzt werden.^[4]

Die Abc-Vermutung ist eine 1985 von Joseph Oesterlé und David Masser aufgestellte mathematische Vermutung, die wegen ihrer Schwierigkeit und mehr noch wegen ihrer Bedeutung als prominenter Nachfolger der gelösten Fermatschen Vermutung gilt (neuer „Heiliger Gral“). Dorian Goldfeld bezeichnete sie sogar als wichtigstes ungelöstes Problem der diophantischen Analysis.^[5]

Weblinks

• Webseite des Projekts
• Statistik der Teilnehmer und des erzielten Gesamtcredits

Einzelnachweise

1. ↑ Rechnerstatistik auf boincstats.com, abgerufen am 14. November 2011
2. ↑ Länderstatistik auf boincstats.com, abgerufen am 14. November 2011
3. ↑ Teamstatistik auf boincstats.com, abgerufen am 14. November 2011
4. ↑ Willem Jan Palenstijn: Enumerating ABC triples., abgerufen am 14. Februar 2011
5. ↑ Ivars Peterson: The Amazing ABC Conjecture (engl.)

BOINC-Projekte

Aktuelle Projekte: ABC@Home | Astropulse | CAS@home | ClimatePrediction.net | DistrRTgen | Einstein@home | Enigma@Home | FreeHAL | Ibercivis | Lattice Project | Leiden Classical | LHC@Home | Malaria Control Project | μFluids@Home | MilkyWay@home | NFS@Home | Orbit@home | PrimeGrid | Quake-Catcher Network | Rosetta@home | Seasonal Attribution Project | SETI@home | SIMAP | SZTAKI Desktop Grid | World Community Grid

Beta-Projekte BURP | CPDN Beta | Collatz Conjecture | Constellation (Plattform) | Cosmology@Home | Docking@Home | EDGeS@Home | GPUGRID.net | Ibercivis | Lattice Project | MindModeling@Home | OPTIMA@HOME | POEM@home | QMC@home | Renderfarm.fi | RNA World | SETI@home beta | Spinhenge@Home | Superlink@Technion | Test4Theory | WEP-M+2 Project | yoyo@home

Alpha-Projekte AlmereGrid Boinc Grid | Biochemical Library | CAS@home | Chess960@home | DistributedDataMining | DNA@Home | DNETC@HOME | DrugDiscovery@Home | eOn | FreeHAL | Goldbach's Conjecture Project | Hydrogen@Home | Magnetism@home | Mersenne@home | Moo! Wrapper | NFS@Home | NumberFields@home | Pirates@home | Primaboinca | QuantumFIRE | RADIOACTIVE@HOME | RALPH@home | RSA Lattice Siever | SAT@home | SLinCA@Home | Sudoku@vtaiwan | Surveill@Home | Virtual Prairie | Volpex | VTU@Home | WUProp@Home | YAFU

Beendete/nicht-aktive Projekte: 3x+1@Home | APS@Home | AQUA@home | Artificial Intelligence System | BBC Climate Change Experiment | BRaTS@Home | Cell Computing | Cels@Home | DepSpid | DynaPing | Eternity2.net | Genetic Life | HashClash | Nano-Hive@Home | NQueens@home | Predictor@home | Proteins@home | Ramsey@Home | Rectilinear Crossing Number | Reversi | Riesel Sieve | RND@home | SciLINC | SHA-1 Collision Search Graz | Sudoku project | Tanpaku | Virus Respiratorio Sincitial | XtremLab