Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq SystemEbookComputer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq SystembySylvie BoldoRating: 0 out of 5 stars0 ratingsSave Computer Arithmetic and Formal Proofs: Verifying Floating-point Algorithms with the Coq System for later