Distant decimals of : formal proofs of some algorithms computing them and guarantees of exact computation
From MaRDI portal
(Redirected from Publication:1663216)
Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
Recommendations
Cites work
- scientific article; zbMATH DE number 3987351 (Why is no real title available?)
- scientific article; zbMATH DE number 1259143 (Why is no real title available?)
- A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers
- A proof of GMP square root
- A refinement-based approach to computational algebra in Coq
- Certified Exact Transcendental Real Number Computation in Coq
- Computation of π Using Arithmetic-Geometric Mean
- Coquelicot: a user-friendly library of real analysis for Coq
- Extending Coq with Imperative Features and Its Application to SAT Verification
- Fast Multiple-Precision Evaluation of Elementary Functions
- Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
- Fast multiplication of large numbers
- Isabelle/HOL. A proof assistant for higher-order logic
- MPFR
- On the rapid computation of various polylogarithmic constants
- Proving tight bounds on univariate expressions with elementary functions in Coq
- Refinements for free!
- Type classes and filters for mathematical analysis in Isabelle/HOL
- Type classes for efficient exact real arithmetic in \textsc{Coq}
- Views of pi: definition and computation
- Why3 -- where programs meet provers
Cited in
(6)- New proofs of Borwein-type algorithms for Pi
- Parallel implementation of multiple-precision arithmetic and 2,576,980,370,000 decimal digits of calculation
- Views of pi: definition and computation
- scientific article; zbMATH DE number 1533164 (Why is no real title available?)
- Quantitative continuity and Computable Analysis in Coq
- What is the point of computers? A question for pure mathematicians
Describes a project that uses
Uses Software
This page was built for publication: Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1663216)
