Distant Decimals of $$\pi $$ π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation
Bertot, Yves, Rideau, Laurence, Théry, LaurentLanguage:
english
Journal:
Journal of Automated Reasoning
DOI:
10.1007/s10817-017-9444-2
Date:
December, 2017
File:
PDF, 593 KB
english, 2017