Fast verified solutions of linear systems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1694910 (Why is no real title available?)
- scientific article; zbMATH DE number 3880009 (Why is no real title available?)
- scientific article; zbMATH DE number 524107 (Why is no real title available?)
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- scientific article; zbMATH DE number 714524 (Why is no real title available?)
- scientific article; zbMATH DE number 734901 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- A Comparison of some Methods for Solving Linear Interval Equations
- A Test for Existence of Solutions to Nonlinear Systems
- A note on epsilon-inflation
- A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
- Accuracy and Stability of Numerical Algorithms
- Accurate Floating-Point Summation Part I: Faithful Rounding
- Accurate Sum and Dot Product
- Accurate floating-point summation. II: Sign, \(K\)-fold faithful and rounding to nearest
- An extended compact profile iterative method criterion for sparse \(H\)-matrices
- Anatomy of high-performance matrix multiplication
- Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
- Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
- Error bounds for approximate solutions of systems of equations
- Fast and parallel interval arithmetic
- Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation
- Fast inclusion of interval matrix multiplication
- Fast verification of solutions of matrix equations
- Gaussian elimination is not optimal
- Grand challenges and scientific standards in interval analysis
- Interval Methods for Systems of Equations
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Numerical validation of solutions of saddle point matrix equations
- On regular and singular interval systems
- Rounding-error and perturbation bounds for the Cholesky and \(LDL^ T\) factorizations
- Super-fast validated solution of linear systems
- Tight enclosures of solutions of linear systems
- Verification of positive definiteness
Cited in
(21)- scientific article; zbMATH DE number 1694910 (Why is no real title available?)
- An algorithm for automatically selecting a suitable verification method for linear systems
- Fast verification of solutions of matrix equations
- scientific article; zbMATH DE number 6890177 (Why is no real title available?)
- scientific article; zbMATH DE number 1313343 (Why is no real title available?)
- scientific article; zbMATH DE number 2015315 (Why is no real title available?)
- Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
- Refining and verifying the solution of a linear system
- Super-fast validated solution of linear systems
- A fast and accurate algorithm for solving Bernstein-Vandermonde linear systems
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- Validated Solutions of Saddle Point Linear Systems
- Parallel Processing and Applied Mathematics
- Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
- A method of obtaining verified solutions for linear systems suited for Java
- Verified partial eigenvalue computations using contour integrals for Hermitian generalized eigenproblems
- scientific article; zbMATH DE number 5773704 (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?)
- A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems
- Tight enclosures of solutions of linear systems
This page was built for publication: Fast verified solutions of linear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849174)
