贝利-波尔温-普劳夫公式（BBP公式）提供了一个计算圆周率π的第"n"位二进制数的（）。这个求和公式是在1995年由西蒙·普劳夫提出的，并以公布这个公式的论文作者大卫·贝利（）、（）和普劳夫的名字命名。在论文发表之前，普劳夫已将此公式在他的网站上公布。这个公式是： 这个公式的发现曾震惊学界。数百年来，求出π的第"n"位小数而不求出它的前"n"-1位曾被认为是不可能的。自从这个发现以来，发现了更多的无理数常数的类似公式，它们都有一个类似的形式：其中α是目标常数，"p"和"q"是整系数多项式，"b"