Fast verified solutions of linear systems
type: Item
instance of: scholarly article
title: Fast verified solutions of linear systems
zbMATH Open document ID: 1184.65046
DOI: 10.1007/BF03186530
author: Takeshi Ogita
author: Shin'ichi Oishi
published in: Japan Journal of Industrial and Applied Mathematics
publication date: 2010-02-25T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033777
Mathematics Subject Classification ID: 65F30
Mathematics Subject Classification ID: 65G20
Mathematics Subject Classification ID: 65G30
zbMATH DE Number: 5674915
zbMATH Keywords: verified numerical computation
zbMATH Keywords: verified solutions of linear systems
zbMATH Keywords: self-validating methods
zbMATH Keywords: interval arithmetic
zbMATH Keywords: algorithms
zbMATH Keywords: error bound
zbMATH Keywords: numerical results
describes a project that uses: INTLAB
describes a project that uses: mctoolbox
MaRDI profile type: Publication
cites work: Q3345690
cites work: Q4326384
cites work: Numerical validation of solutions of saddle point matrix equations
cites work: Anatomy of high-performance matrix multiplication
cites work: An extended compact profile iterative method criterion for sparse \(H\)-matrices
cites work: Accuracy and Stability of Numerical Algorithms
cites work: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
cites work: On regular and singular interval systems
cites work: A Test for Existence of Solutions to Nonlinear Systems
cites work: A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations
cites work: Grand challenges and scientific standards in interval analysis
cites work: Interval Methods for Systems of Equations
cites work: A Comparison of some Methods for Solving Linear Interval Equations
cites work: Fast inclusion of interval matrix multiplication
cites work: Tight Enclosures of Solutions of Linear Systems
cites work: Q2765620
cites work: Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations
cites work: Accurate Sum and Dot Product
cites work: Fast enclosure of matrix eigenvalues and singular values via rounding mode controlled computation
cites work: Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
cites work: Fast verification of solutions of matrix equations
cites work: Q4321544
cites work: A note on epsilon-inflation
cites work: Fast and parallel interval arithmetic
cites work: Q4949347
cites work: Q4284596
cites work: Q4321536
cites work: Verification of positive definiteness
cites work: Super-fast validated solution of linear systems
cites work: Accurate Floating-Point Summation Part I: Faithful Rounding
cites work: Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest
cites work: Gaussian elimination is not optimal
cites work: Rounding-error and perturbation bounds for the Cholesky and \(LDL^ T\) factorizations
cites work: Error bounds for approximate solutions of systems of equations
description: scientific article; zbMATH DE number 5674915