The following pages link to A proof of GMP square root (Q1868507):
Displaying 6 items.
- Designing and proving correct a convex hull algorithm with hypermaps in Coq (Q448980) (← links)
- Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation (Q1663216) (← links)
- Formal verification of square root algorithms (Q1870226) (← links)
- WhyMP, a formally verified arbitrary-precision integer library (Q2673999) (← links)
- Formal Verification of Exact Computations Using Newton’s Method (Q3183542) (← links)
- A Why3 proof of GMP algorithms (Q5130751) (← links)