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