Invertibility Conditions for Floating-Point Formulas.

Martin Brain Aina Niemetz Mathias Preiner Andrew Reynolds Clark W. Barrett Cesare Tinelli

Published in: CAV (2) (2019)

Keyphrases

floating point
sufficient conditions
fixed point
square root
instruction set
binary images
interval arithmetic
floating point arithmetic
frequency domain
hardware and software
sparse matrices
image sequences
data structure