John Machin, (1680—1752), a professor of astronomy in London, is best known for developing a quickly converging inverse-tangent series for π (Pi) in 1706 and using it to compute π to 100 decimal places.

Machin's Formula is:

The benefit of the new formula, a variation on the Gregory/Leibniz series, was that it a significantly increased rate of convergence, which made it a much more practical method of calculation.

To compute π to 100 decimal places, he combined his formula with the Taylor series expansion for the inverse tangent of x. (Brook Taylor was Machin's contemporary in Cambridge University.) Machin's Formula remained the primary tool of Pi-hunters for centuries (well into the computer era).

John Machin served as secretary of the Royal Society from 1718 to 1747. He was also member of the commission which decided the Calculus priority dispute between Leibniz and Newton in 1712.

External resources: