Pages that link to "Item:Q2484077"
From MaRDI portal
The following pages link to Fast inclusion of interval matrix multiplication (Q2484077):
Displaying 6 items.
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
- Error estimation of floating-point summation and dot product (Q766234) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Improvement of error-free splitting for accurate matrix multiplication (Q2349545) (← links)
- Fast algorithms for floating-point interval matrix multiplication (Q2428100) (← links)
- Tight and efficient enclosure of matrix multiplication by using optimized BLAS (Q2889382) (← links)
