Section: New Results
Properties of the
number
Participants : Yves Bertot [correspondant] , Laurence Rideau, Laurent Théry.
As a testbed for the progress of formalized libraries in the domain of
calculus, we studied an algorithm to compute
We also studied a formal proof of the spigot algorithm designed by
Bailey, Borwein, and Plouffe, which is used to compute far digits in
the hexadecimal representation of