The following pages link to A proof of GMP square root (Q1868507):
Displayed 5 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)
- WhyMP, a formally verified arbitrary-precision integer library (Q2673999) (← links)
- Formal Verification of Exact Computations Using Newton’s Method (Q3183542) (← links)
- (Q5130751) (← links)