Pages that link to "Item:Q849174"
From MaRDI portal
The following pages link to Fast verified solutions of linear systems (Q849174):
Displaying 3 items.
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← 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)
