Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system - Boldo, Sylvie; Melquiond, Guillaume (London, UK : ISTE Press ; Oxford, UK: Elsevier, 2017)
Keywords: Computer arithmetic; Floating-point arithmetic; Electronic books