Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms.

Sylvie Boldo

Browse the full CADE paper archive.