Bellard's formula

Etymology
Discovered by in 1997.

Proper noun

 * 1) A formula used to calculate the nth digit of pi in base 2.