Login / Signup
Verifying a Synthesized Implementation of IEEE-754 Floating-Point Exponential Function using HOL.
Behzad Akbarpour
Amr T. Abdel-Hamid
Sofiène Tahar
John Harrison
Published in:
Comput. J. (2010)
Keyphrases
</>
floating point
floating point arithmetic
instruction set
fixed point
square root
floating point unit
graphics processing units
three dimensional
general purpose
graphical models
interval arithmetic
sparse matrices