Login / Signup

Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic.

David MonniauxAlice Pain
Published in: ARITH (2022)
Keyphrases
  • floating point
  • floating point arithmetic
  • fixed point
  • integer arithmetic
  • artificial intelligence
  • information systems
  • sufficient conditions
  • instruction set
  • fine grained
  • real numbers
  • interval arithmetic