Un approccio computazionale alla Congettura di Riemann