Pages that link to "Item:Q861871"
From MaRDI portal
The following pages link to Super-fast validated solution of linear systems (Q861871):
Displaying 7 items.
- Interval arithmetic for nonlinear problem solving (Q275934) (← links)
- Fast verified solutions of linear systems (Q849174) (← links)
- On verified numerical computations in convex programming (Q849186) (← links)
- Rigorous verification of feasibility (Q2018466) (← links)
- Correct approximation of IEEE 754 floating-point arithmetic for program verification (Q2152274) (← links)
- Solving systems of linear fuzzy equations by parametric functions -- an improved algorithm (Q2372285) (← links)
- Shifted Cholesky QR for Computing the QR Factorization of Ill-Conditioned Matrices (Q5220401) (← links)
