C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Synthesis of Rigorous Floating-Point Predicates.
Thanh Son Nguyen
Ben Jones
Zvonimir Rakamaric
Published in:
SPIN (2022)
Keyphrases
</>
floating point
fixed point
square root
floating point arithmetic
instruction set
high quality
operating system
sparse matrices