ABC@home (beendet)

Aus Rechenkraft
(Weitergeleitet von ABC@home)
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

Neuigkeiten (RSS-Feed)

Statistiken

Wo Übersicht Top Teams Top User
Projekt Home Page Top Teams Top User
BOINCstats.com Übersicht Top Teams Top User
BOINCsynergy.com: Der Service wurde eingestellt.
stats.free-dc.org Übersicht Top Teams Top User
allprojectstats.com: Der Service wurde eingestellt.

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 (beendet) 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 Parsen von XML für RSS


Eigene Werkzeuge