The following pages link to (Q4011800):
Displaying 4 items.
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- Floating-point arithmetic in the Coq system (Q714617) (← links)
- Formal verification of a floating-point expansion renormalization algorithm (Q1687723) (← links)
- Synthesis of Rigorous Floating-Point Predicates (Q6487299) (← links)