Riesel_Sieve

ウィキペディア

Riesel Sieve

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2009/10/10 14:22 UTC 版)

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