Solution of linear systems with verified accuracy

DOI10.1016/0168-9274(87)90050-XMaRDI QIDQ1101865zbMATH OpenWikidataFDO

Authors Siegfried M. Rump

Publication date 1987

Published in Applied Numerical Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-9274(87)90050-X

zbMATH Keywords

computer arithmeticfloating-point number

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to ordinary differential equations (34-04) Linear ordinary differential equations and systems (34A30) Numerical analysis in abstract spaces (65J99)

Review text

Der Autor beschäftigt sich mit der Problematik der endlichen Zahlendarstellung in Rechnern und der sich daraus ergebenden Genauigkeitsverluste bei Ergebnissen. Neben der Wortbreite hängt die Qualität eines Resultates auch von der Rundungsstrategie ab. Hier greift der Autor auf die Erfahrungen von \textit{U. Kulisch} und \textit{W. Miranker} zurück, die diese in ihrem Buch ``Computer arithmetic in theory and practice (1981; Zbl 0487.65026) veröffentlicht haben. Um die Verluste gering zu halten, wird eine möglichst exakte Arithmetik für die vier Grundoperationen eingeführt. Es wird weiterhin gezeigt, daß es zur Erweiterung auf die üblichen reellen und komplexen Vektor- und Matrixoperatoren genügt, das Skalarprodukt mit maximaler Genauigkeit durchzuführen. Diese Genauigkeit wird mittels Methoden der Inklusionstheorie nachgewiesen. Diese Theorie beschäftigt sich mit einer Verallgemeinerung der Intervallarithmetik. Das in dem Artikel vorgestellte und von IBM entwickelte Programmpaket ACRITH verwendet die Aussagen dieser Theorie und ermöglicht dadurch das Rechnen mit Gleitpunktzahlen bei überprüfter Genauigkeit des Ergebnisses. Die Leistungsfähigkeit des Softwarepaketes wird am Beispiel der Invertierung der Hilbertmatrix gezeigt. Der direkte Vergleich von ACRITH mit einem Monte Carlo Verfahren zur Lösung eines Problems aus der Elektrotechnik ergab, daß ACRITH ca. 5mal so schnell und wesentlich genauer war. Interessant wäre in diesem Zusammenhang ein Zeit- und Genauigkeitsvergleich von ACRITH mit einem Gleitpunktalgorithmus bei einem weniger kritischen Problem. Der Autor nennt nur einen Faktor zwischen drei und fünf um den ACRITH langsamer ist.

Recommendations

• Publication:4721493
• High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines
• scientific article; zbMATH DE number 1206063
• scientific article; zbMATH DE number 804617
• Accurate arithmetic results for decimal data on non-decimal computers

Cited in

(13)

• Accurate arithmetic results for decimal data on non-decimal computers
• Solving over-constrained systems of non-linear interval equations -- and its robotic application
• scientific article; zbMATH DE number 3874506 (Why is no real title available?)
• scientific article; zbMATH DE number 4139187 (Why is no real title available?)
• High-accuracy arithmetic software—some tests of the ACRITH problem-solving routines
• scientific article; zbMATH DE number 3986524 (Why is no real title available?)
• The Lack of Influence of the Right-Hand Side on the Accuracy of Linear System Solution
• scientific article; zbMATH DE number 714516 (Why is no real title available?)
• scientific article; zbMATH DE number 6466 (Why is no real title available?)
• The Accuracy of Solutions to Triangular Systems
• scientific article; zbMATH DE number 804617 (Why is no real title available?)
• Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics
• A method of obtaining verified solutions for linear systems suited for Java

Describes a project that uses

Uses Software

• ACRITH-XSC

This page was built for publication: Solution of linear systems with verified accuracy

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