C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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