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)

Full work available at URL https://doi.org/10.1109/TC.2008.200

Mathematics Subject Classification ID

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

Cited in

(5)

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

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)