AMBITO: Matematica

Riesel Sieve è un progetto di calcolo distribuito nato con lo scopo di provare la congettura di Riesel. Hans Riesel è un matematico del '900 a cui si deve la teoria che sta alla base del progetto in questione. In particolare, egli dimostrò che esistono infiniti k per i quali vale la seguente relazione:

q = k * 2^n - 1

dove q non è mai un numero primo per qualunque valore (intero) di n.
I numeri k che soddisfano questa relazione sono detti numeri di Riesel.

AMBITO: Climatologia

Climate Prediction (CPDN.net) è un progetto di calcolo che sfrutta i tempi morti del nostro processore per studiare l'evoluzione del clima terrestre.

Ripetendo simulazioni climatiche migliaia di volte sui computers di tutto il mondo, gli sviluppatori avranno la possibilità di capire se e quanto gli attuali modelli climatici siano sensibili a scostamenti minimi di variabili come ad esempio la concentrazione di biossido di carbonio in atmosfera.
Mettendo a disposizione i vostri PC per questo progetto, aiuterete a prevedere la possibile evoluzione del clima del nostro pianeta nel prossimo secolo.

AMBITO: Matematica

ABC@home è un progetto di calcolo distribuito che si occupa della ricerca di "triplette abc". Queste "triplette abc" sono date da numeri interi positivi a, b, c tali che:

La congettura ABC dice che ci sono solo un numero finito di triplette a, b, c tali che log(c) / log (rad (a,b,c)) > h con h numero reale > 1.

La congettura ABC è attualmente uno dei più grandi problemi aperti in matematica. Se si prova che sia vera, molti altri problemi aperti potranno essere risolti come conseguenza diretta.