Pages that link to "Item:Q1687723"
From MaRDI portal
The following pages link to Formal verification of a floating-point expansion renormalization algorithm (Q1687723):
Displayed 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)