Riesel Sieve
Riesel Sieve(リーゼル・シーブ)とは、Berkeley Open Infrastructure for Network Computing(BOINC)を用いた分散コンピューティングプロジェクトの一つ。509,203が最小のリーゼル数であることを証明するため、これより小さな全ての奇数について、 k × 2 - 1 が素数となる例を探すものである。