Login / Signup
Verification of Numerical Programs: From Real Numbers to Floating Point Numbers.
Alwyn Goodloe
César A. Muñoz
Florent Kirchner
Loïc Correnson
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
real numbers
interval arithmetic
floating point
fuzzy numbers
fixed point
square root
arithmetic operations
ordered fuzzy numbers
decision making
expert systems
linear programming
numerical methods
sparse matrices
floating point arithmetic