ABC@home

Aus Rechenkraft
Wechseln zu: Navigation, Suche
Logo

ABC@home ist ein Projekt des mathematischen Instituts der Universität Leiden und Kennslink, einem holländischen Institut für Wissenschaft. Das BOINC-Projekt versuchte ursprünglich alle ABC-Tripel der ABC-Vermutung bis 1018 zu finden. Das Ziel wurde aber heruntergesetzt. Man erreichte 2009 den Wert 1014 rechnet aber noch weiter.

An der gleichen Universität wird auch das Projekt Leiden Classical durchgeführt.

Das Projekt ist mit GIMPS vergleichbar, einem anderen mathematischen Projekt. ABC-Tripel sind positive ganze Zahlen a,b,c so dass

  • a + b = c
  • a < b < c
  • a,b,c keinen gemeinsamen Teiler haben
  • c > rad(a·b·c) (radical)

Die ABC-Vermutung sagt, dass es für jedes h > 1 nur endlich viele a,b,c gibt, so dass log(c)/log(rad(a·b·c)) > h.

Die ABC-Vermutung ist zur Zeit eine der größten offenen Probleme der Mathematik. Sollte sie wahr sein, können viele weitere ungelöste Probleme der Mathematik direkt beantwortet werden. Sie wird allerdings nicht durch dieses Projekt bewiesen oder widerlegt werden können. Hier werden zwar aufsteigend alle Tripel gefunden, die die Ungleichung erfüllen, aber ob es nun nur endlich viele solcher Tripel gibt kann man durch diesen Ansatz nicht zeigen.

Es gab ein eigenes BOINC Projekt zum Testen neuer Versionen: ABC@home beta. Inzwischen wurde dieses aber beendet.

Die Website des Projektes war am 15.07.2016 nicht mehr erreichbar.

Audio-Beschreibung Ausführliche Audio-Beschreibung des Projekts: BOINCcast


Inhalt

Projektübersicht

InfoIcon.png ABC@home
Name ABC@home
Kategorie Mathematik
Ziel ABC Tripel finden
Kommerziell   nein
Homepage abcathome.com
Uni.jpg mathematisches Institut
Universität Leiden, Niederlande


Projektstatus

InfoIcon.png Projektstatus
Status   beendet
Beginn 13.01.2006
Ende ???

Projektlinks

Statistiken

Wo Übersicht Top Teams Top User
Projekt Home Page Top Teams Top User
BOINCstats.com Übersicht Top Teams Top User
BOINCsynergy.com Übersicht Top Teams Top User
stats.free-dc.org Übersicht Top Teams Top User
allprojectstats.com Übersicht Top Teams Top User

Clientprogramm

Betriebssysteme

Icon windows 16.png    Windows Checkbox 1.gif   
Icon windows 16.png    Windows 64bit Checkbox 1.gif   
Icon linux 16.png    Linux Checkbox 1.gif   
Icon linux 16.png    Linux 64bit Checkbox 1.gif   
Icon dos 16.png    DOS Checkbox 0.gif   
Icon macos 16.png    MacOS X Checkbox 1.gif   
Icon freebsd 16.png    BSD Checkbox 0.gif   
Icon solaris 16.png    Solaris Checkbox 0.gif   
Icon java 16.png    Java (betriebssystemunabhängig)  Checkbox 0.gif   

WU-Informationen

Aktuelle und genaue Details für BOINC-Projekte gibt es bei WUProp.

Name RAM Dauer Deadline Speicherplatz Download Upload Mindestanforderung
ABC finder 1.03  67,5 MB  i.d.R. ca. 2 h (AMDX2 32bit 3,0 GHz)  1 Woche  MB MB MB {{{mindestanforderung}}} oder besser
Die Dauer ist die durchschnittliche Rechenzeit, die auf entsprechender CPU (Taktung in der Klammer) gebraucht wird.
Die Deadline ist die Zeitspanne, in der die Work unit berechnet sein muss.


Installation

ABC@home benutzt die BOINC-Infrastruktur. Die Anmeldung, Installation und Konfiguration sind auf der allgemeinen BOINC-Seite beschrieben.

Veröffentlichte Versionen

Aktuelle Version kann hier gefunden werden.

Meldungen

RSS RSS-Feed

Der RSS-Feed konnte nicht von http://www.abcathome.com/rss_main.php geladen werden: Fehler beim Abruf der URL: Recv failure: Connection reset by peer


Eigene Werkzeuge