Pages that link to "Item:Q849174"
From MaRDI portal
The following pages link to Fast verified solutions of linear systems (Q849174):
Displaying 17 items.
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
- Super-fast validated solution of linear systems (Q861871) (← links)
- A method of obtaining verified solutions for linear systems suited for Java (Q861896) (← links)
- A fast and accurate algorithm for solving Bernstein-Vandermonde linear systems (Q875013) (← links)
- Fast verification of solutions of matrix equations (Q1348935) (← links)
- Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations (Q1398048) (← links)
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation (Q1713151) (← links)
- Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems (Q2293603) (← links)
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems (Q2408147) (← links)
- (Q2765620) (← links)
- Refining and verifying the solution of a linear system (Q2819636) (← links)
- (Q3585623) (← links)
- (Q4254906) (← links)
- (Q4321536) (← links)
- (Q4568078) (← links)
- (Q4851622) (← links)
- Parallel Processing and Applied Mathematics (Q5307366) (← links)