ABC@home (beendet)

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 10¹⁸ zu finden. Das Ziel wurde aber heruntergesetzt. Man erreichte 2009 den Wert 10¹⁴ 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.

Ausführliche Audio-Beschreibung des Projekts: BOINCcast

Projektübersicht

ABC@home
Name	ABC@home
Kategorie	Mathematik
Ziel	ABC Tripel finden
Kommerziell	nein
Homepage	abcathome.com

mathematisches Institut Universität Leiden, Niederlande

Projektstatus

Projektstatus
Status	beendet
Beginn	13.01.2006
Ende	???

Projektlinks

• Hintergrundinfos
• Forum
• Support

Neuigkeiten (RSS-Feed)

• Niederländische Statusseite über das Projekt und eigene Statistiken

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

	Windows
	Windows 64bit
	Linux
	Linux 64bit
	DOS
	MacOS X
	BSD
	Solaris
	Java (betriebssystemunabhängig)

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

• 22.04.2007: BOINCcast (Folge 31): Das Projekt ABC@home

RSS-Feed

Der RSS-Feed von http://www.abcathome.com/rss_main.php konnte nicht geladen werden: Fehler beim Abruf der URL: Maximum (0) redirects followed