Views of pi: definition and computation

DOI10.6092/ISSN.1972-5787/4343MaRDI QIDQ5195256zbMATH OpenOpenAlexFDO

Authors Yves Bertot, Guillaume Allais

Publication date 18 September 2019

Full work available at URL https://hal.inria.fr/hal-01074926

zbMATH Keywords

Gregory's formula

Mathematics Subject Classification ID

Evaluation of number-theoretic constants (11Y60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
• Simple algorithms for computing
• scientific article; zbMATH DE number 176881
• scientific article; zbMATH DE number 1049731
• scientific article; zbMATH DE number 942878

Cited in

(2)

• Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
• `' in the sky

Describes a project that uses

Uses Software

• Coq
• Isabelle
• PVS
• Mizar
• HOL Light
• C-CoRN

This page was built for publication: Views of pi: definition and computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5195256)