Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
scientific article; zbMATH DE number 6921412
scientific article