Pages that link to "Item:Q1398048"
From MaRDI portal
The following pages link to Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations (Q1398048):
Displaying 15 items.
- A sharp error bound of the approximate solutions for saddle point linear systems (Q464634) (← links)
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- Direct methods for linear systems with inexact input data (Q849179) (← links)
- Super-fast validated solution of linear systems (Q861871) (← links)
- Fast enclosure for solutions in underdetermined systems (Q989149) (← links)
- A geometric approach for computing a posteriori error bounds for the solution of a linear system (Q1179535) (← links)
- Fast verification of solutions of matrix equations (Q1348935) (← links)
- Verified error bounds for linear systems through the Lanczos process (Q1971079) (← links)
- Improved componentwise verified error bounds for least squares problems and underdetermined linear systems (Q2249828) (← links)
- Modified error bounds for approximate solutions of dense linear systems (Q2293605) (← links)
- Verified numerical computations for large-scale linear systems. (Q2662465) (← links)
- An improvement of the componentwise error estimate corresponding to a well-known inclusion result for solutions of systems of linear equations (Q2751233) (← links)
- Refining and verifying the solution of a linear system (Q2819636) (← links)
- Verified bounds for least squares problems and underdetermined linear systems (Q2903115) (← links)