Pages that link to "Item:Q1932771"
From MaRDI portal
The following pages link to Accurate solution of dense linear systems. II: Algorithms using directed rounding (Q1932771):
Displaying 9 items.
- Accurate solution of dense linear systems I: Algorithms in rounding to nearest (Q1932770) (← links)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274) (← links)
- Modified error bounds for approximate solutions of dense linear systems (Q2293605) (← links)
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (Q2408147) (← links)
- Verified numerical computations for large-scale linear systems. (Q2662465) (← links)
- Enclosing Chebyshev Expansions in Linear Time (Q4960945) (← links)
- (Q5003340) (← links)
- Computing Enclosures for the Matrix Exponential (Q5146627) (← links)
- Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems (Q6098955) (← links)