Fast verification of solutions of matrix equations

DOI10.1007/S002110100310MaRDI QIDQ1348935zbMATH OpenOpenAlexFDO

Authors Shin'ichi Oishi, Siegfried M. Rump

Publication date 21 May 2002

Published in Numerische Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002110100310

zbMATH Keywords

Gaussian eliminationpreconditioninglinear systemsfast algorithmsnonsingularity\(LU\)-decompositionresult verificationdirected roundingunderflowrigorous error boundsfloating point analysis

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Numerical computation of matrix norms, conditioning, scaling (65F35) Algorithms with automatic result verification (65G20)

Recommendations

• Fast verified solutions of linear systems
• Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
• scientific article; zbMATH DE number 1206063
• Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
• scientific article; zbMATH DE number 2015315

Cited in

(31)

• A sharp error bound of the approximate solutions for saddle point linear systems
• Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation
• scientific article; zbMATH DE number 1694910 (Why is no real title available?)
• Convergence of Rump's method for computing the Moore-Penrose inverse.
• Nonsingularity, positive definiteness, and positive invertibility under fixed-point data rounding.
• An algorithm for automatically selecting a suitable verification method for linear systems
• Error-free computer solution of certain system of linear equations
• Tight and efficient enclosure of matrix multiplication by using optimized BLAS.
• Verified eigenvalue and eigenvector computations using complex moments and the Rayleigh-Ritz procedure for generalized Hermitian eigenvalue problems
• Verification May be Better than Estimation
• scientific article; zbMATH DE number 6890177 (Why is no real title available?)
• Verified numerical computations for large-scale linear systems.
• 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
• Super-fast validated solution of linear systems
• Fast algorithms for floating-point interval matrix multiplication
• Fast inclusion of interval matrix multiplication
• Remarks on Verified Inclusions for the Solution of Systems of Linear Equations
• Validated Solutions of Saddle Point Linear Systems
• Fast enclosure for solutions of Sylvester equations
• Fast verified solutions of linear systems
• Rigorous numerics for localized patterns to the quintic Swift-Hohenberg equation
• Direct methods for linear systems with inexact input data
• Numerical verification methods for spherical \(t\)-designs
• On verified numerical computations in convex programming
• Fast enclosure for solutions in underdetermined systems
• scientific article; zbMATH DE number 1639667 (Why is no real title available?)
• A method of obtaining verified solutions for linear systems suited for Java
• Modified error bounds for approximate solutions of dense linear systems
• Fast interval matrix multiplication
• A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems

Describes a project that uses

Uses Software

• Matlab
• BLAS
• mctoolbox

This page was built for publication: Fast verification of solutions of matrix equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1348935)