Pagina 1 di 4
AMBITO: Matematica
STATO: CHIUSO
ATTACH: http://www.primaboinca.com/
Primaboinca è un progetto di ricerca che utilizza i computer connessi ad Internet per cercare un controesempio ad alcune congetture. Questo progetto si occupa di due ipotesi della teoria dei numeri. Entrambe sono congetture per l'identificazione dei numeri primi. La prima congettura (Congettura di Agrawal (inglese)) è stata la base per la formulazione del primo algoritmo deterministico polinomiale nel tempo. La seconda congettura (Congettura di Popovych (inglese)) aggiunge un ulteriore condizione alla congettura di Agrawal e quindi rafforza logicamente la congettura.
Per ulteriori informazioni visitate il thread ufficiale presente nel nostro forum.