Pages that link to "Item:Q1687723"

The following pages link to Formal verification of a floating-point expansion renormalization algorithm (Q1687723):

Displaying 3 items.

• Computational logic: its origins and applications (Q4559535) (← links)
• Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\) (Q6038798) (← links)
• Formally-verified round-off error analysis of Runge-Kutta methods (Q6149594) (← links)