新たな等式の追求
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/02 06:54 UTC 版)
「ベイリー＝ボールウェイン＝プラウフの公式」の記事における「新たな等式の追求」の解説
前述の函数Pを用いると、 π の最も簡単な既知の式は、s = 1 、ただし m > 1 の場合である。b が指数2または3、m が指数2または他の因数に富む値で、かつ数列Aの項のいくつかが0である場合、現在多くの発見された公式が知られている。これらの公式の発見には、個々の和を計算した後、コンピュータでこのような線形結合を探索することが必要である。探索の手順は、s、b、mのパラメータ値の範囲を選び、その和を何桁にもわたって評価し、それらの中間和をよく知られた定数に、あるいはおそらくゼロに足し合わせる数列Aを、整数関係探索アルゴリズム（典型的にはHelaman FergusonのPSLQアルゴリズム）を用いて求めるというものである。
※この「新たな等式の追求」の解説は、「ベイリー＝ボールウェイン＝プラウフの公式」の解説の一部です。
「新たな等式の追求」を含む「ベイリー＝ボールウェイン＝プラウフの公式」の記事については、「ベイリー＝ボールウェイン＝プラウフの公式」の概要を参照ください。
ウィキペディア小見出し辞書の「新たな等式の追求」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 新たな等式の追求のページへのリンク
