scientific article; zbMATH DE number 524107
From MaRDI portal
Publication:4284596
Cited in
(20)- Highly accurate verified error bounds for Krylov type linear system solvers
- Parallel accurate linear algebra subroutines
- Verified solution of large systems and global optimization problems
- Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
- Rigorous verification of feasibility
- Verified numerical computations for large-scale linear systems.
- An efficient approach to solve very large dense linear systems with verified computing on clusters.
- scientific article; zbMATH DE number 3986524 (Why is no real title available?)
- High accuracy and interval arithmetic on multicore processors
- Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
- scientific article; zbMATH DE number 1206063 (Why is no real title available?)
- scientific article; zbMATH DE number 4115819 (Why is no real title available?)
- scientific article; zbMATH DE number 802407 (Why is no real title available?)
- scientific article; zbMATH DE number 804617 (Why is no real title available?)
- scientific article; zbMATH DE number 1424515 (Why is no real title available?)
- Computer-assisted enclosure methods for elliptic differential equations
- Calculation of exact bounds for the solution set of linear interval systems
- Fast verified solutions of linear systems
- On verified numerical computations in convex programming
- Super-fast validated solution of linear systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4284596)
