EN FR
EN FR


Section: New Results

Fast computation of π

Participant : Yves Bertot.

In the previous year, we studied a proof that π could be approximated with a fast converging sequence based on arithmetic geometric means. This year we described a proof that rounding errors during this computation could be guaranteed as small as needed, based on a study of derivatives. This approach provides a fruitful alternative to interval-based approaches. The result was published in [16] .

We also completed a journal paper on various ways to observe and compute the number π [7] .