ベイリー＝ボールウェイン＝プラウフの公式
ベイリー＝ボールウェイン＝プラウフの公式（ベイリー＝ボールウェイン＝プラウフのこうしき、）あるいはBBP公式は、1995年にサイモン・プラウフによって発見された円周率 に関する以下の公式である。
名称はBBP公式に関する論文 の著者ら、、プラウフに因む。BBP公式は論文公開以前にもプラウフが自身のサイトで紹介していた。
BBP公式は、先行する桁を計算せずに の十六進法で 桁目（二進法で 桁目）の数を直接求めるを与える。これは の十進法で 桁目を計算するものではない。そのような公式はプラウフによって2022年に発見されている。BBPとBBPに触発されたアルゴリズムは、分散コンピューティングを使って の多くの桁を計算するPiHexなどのプロジェクトで使用されている。BBPアルゴリズムの存在は驚くべきものであった。それまでは、 のような超越数の 桁目を直接計算するのは、最初の 桁を計算するのと同程度に難しいと広く信じられていた。
 以外の無理数についてもBBP公式と類似の式が得られている。それらの類似の式はBBP型公式（）またはBBP系公式と呼ばれる。BBP型公式の一般形は以下のように表される：
ここで は無理数、 は の整数係数多項式、 は通常、位取り記数法の底であり 以上の整数を表すが、より一般には実数でもよい。また は の範囲でゼロにならず、 の次数は より小さい。
ある数 に対しBBP型公式を（すなわち , , を）与える系統だったアルゴリズムは知られておらず、ある数に対するBBP型公式は今のところ実験的な方法によってのみ得られている。