6 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Yves Bertot, Laurence Rideau, Laurent Théry
We describe how to compute very far decimals of π and how to provide formal guarantees that the decimals we compute are correct. In particular, we report on an experiment where…