Login / Signup
Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic.
David Monniaux
Alice 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