Pages that link to "Item:Q861896"
From MaRDI portal
The following pages link to A method of obtaining verified solutions for linear systems suited for Java (Q861896):
Displaying 4 items.
- An algorithm for automatically selecting a suitable verification method for linear systems (Q633151) (← links)
- Fast enclosure for all eigenvalues in generalized eigenvalue problems (Q848556) (← links)
- Fast enclosure for solutions in underdetermined systems (Q989149) (← links)
- Verified numerical computations for large-scale linear systems. (Q2662465) (← links)
