ZetaGrid Homepage
Science, Math, Number Theory, Analytic - Zetagrid. Numerical verification of the Riemann Hypothesis by a collaborative computing effort, with downloadable software.
http://www.zetagrid.net/