Công thức Bellard
Công thức Bellard là công thức được chỉnh sửa từ công thức Bailey-Borwein-Plouffe. Công thức này được dùng để tính ra chữ số thứ "n" trong số Pi theo hệ nhị phân. Nó nhanh hơn 43% so với công thức Bailey-Borwein-Plouffe.

Công thức này được sử dụng trong dự án tính toán phân tán PiHex.

Công thức được khám phá bởi Fabrice Bellard vào năm 1997.
