Pages that link to "Item:Q2391021"
From MaRDI portal
The following pages link to Computing predecessor and successor in rounding to nearest (Q2391021):
Displaying 7 items.
- Simple floating-point filters for the two-dimensional orientation problem (Q291919) (← links)
- Optimal inverse projection of floating-point addition (Q2299211) (← links)
- Improvement of error-free splitting for accurate matrix multiplication (Q2349545) (← links)
- Primitive Floats in Coq (Q5875413) (← 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)
- Floating-point arithmetic (Q6047500) (← links)
- Fast and accurate computation of the Euclidean norm of a vector (Q6072363) (← links)