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

DOI10.1109/TC.2008.200zbMath1367.65206MaRDI QIDQ4975016

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)

Related Items (4)

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

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