Fermat Search
Fermat Search è un progetto di calcolo distribuito per la ricerca divisori più grandi dei Numeri primi di Fermat.
Obiettivi del progetto
I numeri di Fermat hanno la forma matematica . Fermat credeva che tutti i numeri con questa forma fossero primi ma si sbagliava. In effetti, questo è vero per i primi cinque. Ma Eulero nel 1732 dimostrò che il sesto numero = 4294967297 non è primo poiché ha un divisore: 641.
È stato dimostrato che tutti i divisori dei numeri primi di Fermat hanno la forma matematica: con
Utilizzando questo corollario in tre secoli sono stati trovati più di 200 divisori. Questo progetto si propone di trovare divisori maggiori. Con l'ausilio del calcolo distribuito e dei computer dei volontari questo progetto propone ai partecipanti di entrare nella storia della matematica.
Software
Si può contribuire al progetto usando uno dei tanti (EN) software disponibili.
Fermat.exe
Il più utilizzato è Fermat.exe, progettato e realizzato da Leonid Durman, e funzionante soltanto su Microsoft Windows. Sono da poco stati resi disponibili altri pacchetti software sia per ambiente Windows (32 e 64 bit) che Linux (32 e 64 bit):
- GMP-Fermat e' dusponibile per tutte le piattaforme basate su Intel, sia a 32 che a 64 bit.
- FermFact e' un siever per regioni rettangolari di N e k. Ricerca ed elimina piccoli e medi fattori
- PFGW e' un programma per il calcolo di primalita' in grado di eseguire test per GFN (Generalized Fermat Numbers).
- Ppsieve e' un siever particolarmente efficiente, sviluppato per sfruttare il sistema di processori paralleli presente nelle GPU Nvidia, qualora presente.
Voci correlate
Collegamenti esterni
