The following pages link to A proof of GMP square root (Q1868507):
Displayed 4 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 Exact Computations Using Newton’s Method (Q3183542) (← links)
- (Q5130751) (← links)