John Machin, mathématicien anglais, est connu pour avoir calculé, en 1706, 100 décimales de \pi grâce à la formule qui porte son nom. Il fit partie de la commission qui arbitra la controverse relative à la paternité du calcul infinitésimal entre Leibniz et Newton en 1712.
La formule de Machin est :
\dfrac{\pi}{4}=4 \arctan \left(\dfrac{1}{5}\right)-\arctan \left(\dfrac{1}{239}\right)