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)

zbMATH Keywords

floating-point numbercomputer arithmetic

Mathematics Subject Classification ID

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

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)

• scientific article; zbMATH DE number 3986524 (Why is no real title available?)
• scientific article; zbMATH DE number 6466 (Why is no real title available?)
• scientific article; zbMATH DE number 714516 (Why is no real title available?)
• Accurate arithmetic results for decimal data on non-decimal computers
• The Lack of Influence of the Right-Hand Side on the Accuracy of Linear System Solution
• Solving over-constrained systems of non-linear interval equations -- and its robotic application
• scientific article; zbMATH DE number 804617 (Why is no real title available?)
• The Accuracy of Solutions to Triangular Systems
• Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics
• 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
• 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)