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

David Monniaux Alice Pain

Published in: CoRR (2022)

Keyphrases

floating point
floating point arithmetic
fixed point
integer arithmetic
instruction set
higher order
dynamical systems
parallel processing