The following pages link to (Q4738355):
Displayed 4 items.
- Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics (Q845241) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Checking Compatibility of Bit Sizes in Floating Point Comparison Operations (Q5170177) (← links)