Bellard's formula, as used by PiHex, the now-completed distributed computing project, is used to calculate the nth digit of π in base 16. It is a faster version (about 43% faster) of the Bailey–Borwein–Plouffe formula.
Bellard's formula was discovered by Fabrice Bellard in 1997.
One important application is verifying computations of all digits of pi performed by other means. Rather than having to compute all of the digits twice by two separate algorithms to ensure that a computation is correct, the final digits of a very long all-digits computation can be verified by the much faster Bellard's formula.
- "PiHex Credits". Centre for Experimental and Constructive Mathematics. Simon Fraser University. March 21, 1999. Archived from the original on 2017-06-10. Retrieved 30 March 2018.
- Trueb, Peter (31 October 2016). "Hexadecimal Digits are Correct!". Archived from the original on 2016-11-16. Retrieved 2016-12-28.