The following pages link to (Q2754053):
Displaying 4 items.
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- Formal verification of the VAMP floating point unit (Q816201) (← links)
- Formalization of fixed-point arithmetic in HOL (Q816219) (← links)
