A proof of GMP square root
From MaRDI portal
Publication:1868507
DOI10.1023/A:1021987403425zbMath1064.68093OpenAlexW1541694476MaRDI QIDQ1868507
Nicolas Magaud, Yves Bertot, Paul Zimmermann
Publication date: 27 April 2003
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1021987403425
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Formal Verification of Exact Computations Using Newton’s Method ⋮ Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation ⋮ WhyMP, a formally verified arbitrary-precision integer library ⋮ Designing and proving correct a convex hull algorithm with hypermaps in Coq ⋮ Unnamed Item
Uses Software
This page was built for publication: A proof of GMP square root
