Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven

DOI10.1109/TC.2008.200MaRDI QIDQ4975016zbMATH OpenFDO

Authors Sylvie Boldo

Publication date 8 August 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04)

Cited in

(4)

• Further analysis of Kahan's algorithm for the accurate computation of \(2\times 2\) determinants
• Floating-point arithmetic
• Combining Coq and Gappa for Certifying Floating-Point Programs
• Formal verification of numerical programs: from C annotated programs to mechanical proofs

This page was built for publication: Kahan's Algorithm for a Correct Discriminant Computation at Last Formally Proven

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4975016)