Login / Signup
Approximate Translation from Floating-Point to Real-Interval Arithmetic.
Daisuke Ishii
Takashi Tomita
Toshiaki Aoki
Published in:
CoRR (2021)
Keyphrases
</>
floating point
interval arithmetic
constraint propagation
fixed point
real numbers
instruction set
floating point arithmetic