Pages that link to "Item:Q1663216"

The following pages link to Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation (Q1663216):

Displaying 5 items.

• Parallel implementation of multiple-precision arithmetic and 2,576,980,370,000 decimal digits of \(\pi \) calculation (Q991138) (← links)
• (Q4518357) (← links)
• New proofs of Borwein-type algorithms for Pi (Q5506797) (← links)
• Quantitative continuity and Computable Analysis in Coq (Q5875440) (← links)
• What is the point of computers? A question for pure mathematicians (Q6118162) (← links)