BOINCプロジェクト一覧

プロジェクトが稼働しているかどうかを見たい場合は BOINCstats Project status information
online なら稼働中。一覧にないプロジェクトもあります。

数学系プロジェクト

Collatz Conjecture アドレス:http://boinc.thesonntags.com/collatz/
GPU利用可能:NVIDIA,ATI
数学系プロジェクト。数学上の未解決問題の一つ「コラッツ予想」について調べる。一見簡単そうに見える問題だが、70年以上経った現在でも誰も証明出来ていない。
CONVECTOR アドレス:http://convector.fsv.cvut.cz/
数学系プロジェクト。52 bar trussという離散問題の最適値を探す。説明: http://convector.fsv.cvut.cz/52_bar_truss.pdf
Enigma@Home アドレス:http://www.enigmaathome.net/
数学(暗号)系プロジェクト。第二次世界大戦のときに、ナチス・ドイツが用いていた Enigma という暗号機で作成された文章を総当たりにより解読する。
NFS@Home アドレス:http://escatter11.fullerton.edu/nfs/
数学系プロジェクト。Number Field Sieve(NFS:数体ふるい法)における格子ふるい法を用いて、巨大整数の素因数分解を行う。
NumberFields@home アドレス:http://numberfields.asu.edu/NumberFields/
数学系プロジェクト。数論の分野の研究。アリゾナ州立大学のプロジェクト。
primaboinca アドレス:http://www.primaboinca.com/
数学系プロジェクト。多項式時間素数判定アルゴリズム関係(?)。Agrawal's Conjecture と Popovych’s conjecture に関連している。仮説が正しいと証明されれば、素数判定時間が O(log N)^6 から O(log N)^3 まで短縮できる。
PrimeGrid アドレス:http://www.primegrid.com/
GPU利用可能:NVIDIA,ATI
数学系プロジェクト。様々な形の素数を探索する。素数に関連する教材を提供することにより数学分野へ貢献し、暗号システムの発展・コンピュータセキュリティの向上に役立てられる。
SAT@home アドレス:http://sat.isa.ru/pdsat/
数学系プロジェクト。充足可能性問題(SAT)について解析を行う。ロシアのプロジェクト。
SRBase アドレス:http://srbase.myfirewall.org/sr5/
数学系プロジェクト。シェルピンスキー・リーゼル問題で、基数が1030の場合まで調べる。
SZTAKI Desktop Grid アドレス:http://szdg.lpds.sztaki.hu/szdg/
数学系プロジェクト。11次元までの一般化された2進数系の探索関係。
Van Der Waerden Numbers アドレス:http://www.vdwnumbers.org/
数学系プロジェクト。ファン・デル・ヴェルデンの定理に関する解析。
WEP-M+2 Project アドレス:http://bearnol.is-a-geek.com/wanless2/
数学系プロジェクト。メルセンヌ数+2の形の素数を探索する。
yoyo@home アドレス:http://www.rechenkraft.net/yoyo/
メインは数学系プロジェクト。ゴロム定規(数学系)、ヒトミトコンドリアDNAの解析(生物系)など。