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