The following pages link to (Q4790659):
Displayed 5 items.
- Formal verification of the VAMP floating point unit (Q816201) (← links)
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
- Semantics of roundoff error propagation in finite precision calculations (Q853732) (← links)
- Additive symmetries: The non-negative case. (Q1853635) (← links)
- Proving Bounds on Real-Valued Functions with Computations (Q3541683) (← links)