Reference of the On-Line Encyclopedia of Integer Sequences for Pi : A000796
Several mathematicians have been interested in the quest for Pi. They spent some weeks or their whole life sometimes for Pi. Consequently, above all, the history of Pi has been the story of mathematicians since antiquity.

In all the following pages, you will find a short biography of the mathematician, then his contribution to the legend of Pi: formulas, history and proof. Sometimes, some mathematicians did not write these formulas explicitely. However, they have inspired them or imagined the method used to generate the formula.