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

DOI10.1109/TC.2008.200zbMATH Open1367.65206MaRDI QIDQ4975016FDOQ4975016

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)