ベイリー＝ボールウェイン＝プラウフの公式
BBP型公式の特殊化 P を用いた方法で、π について既知の最も簡潔なものは、s = 1 かつ m > 1 のものである。b が指数 2 または 3、m が指数 2 または他の因数に富む値で、かつ数列 A の項のいくつかが 0 である場合、現在多くの公式が知られている。これらの公式の発見には、個々の和を計算した後、コンピュータでこのような線形結合を探索することが必要である。探索の手順は、s、b、mのパラメータ値の範囲を選び、その和を何桁にもわたって評価し、それらの中間和をよく知られた定数に、あるいはおそらくゼロに足し合わせる数列Aを、整数関係探索アルゴリズム(典型的にはHelaman FergusonのPSLQアルゴリズム)を用いて求めるというものである。