Login / Signup

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

Sylvie Boldo
Published in: IJCAR (2006)
Keyphrases
  • formal proof
  • floating point
  • sparse matrices
  • data structure
  • fine grained
  • theorem prover
  • model checking
  • fast fourier transform