%0 Journal Article %1 journals/jar/BertotRT18 %A Bertot, Yves %A Rideau, Laurence %A Théry, Laurent %D 2018 %J J. Autom. Reason. %K dblp %N 1-4 %P 33-71 %T Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation. %U http://dblp.uni-trier.de/db/journals/jar/jar61.html#BertotRT18 %V 61

@article{journals/jar/BertotRT18, added-at = {2023-08-28T00:00:00.000+0200}, author = {Bertot, Yves and Rideau, Laurence and Théry, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2dfe714994121f871dce2e21f124e4909/dblp}, ee = {https://www.wikidata.org/entity/Q113901245}, interhash = {6cd267ad0da1632989fd527e35fc52a3}, intrahash = {dfe714994121f871dce2e21f124e4909}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = {1-4}, pages = {33-71}, timestamp = {2024-04-09T05:03:12.000+0200}, title = {Distant Decimals of π : Formal Proofs of Some Algorithms Computing Them and Guarantees of Exact Computation.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar61.html#BertotRT18}, volume = 61, year = 2018 }