scientific article; zbMATH DE number 804617

MaRDI QIDQ4851622zbMATH OpenFDO

Authors Carlos Falcó Korn, Christian P. Ullrich

Publication date 11 October 1995

zbMATH Keywords

accuracy estimationscommon software librariesguaranteed inclusion of the solutioninterval \(H\)- matriceslinear systemsverified solution

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Interval and finite arithmetic (65G30) Packaged methods for numerical algorithms (65Y15)

Recommendations

• Solution of linear systems with verified accuracy
• Fast verified solutions of linear systems
• scientific article; zbMATH DE number 1424515
• Solvers for the verified solution of parametric linear systems
• scientific article; zbMATH DE number 1206063
• scientific article; zbMATH DE number 524107
• Verified numerical computations for large-scale linear systems.
• Problem-oriented verification system and its application to linear algebra programs

Cited in

(6)

• Solution of linear systems with verified accuracy
• scientific article; zbMATH DE number 1206063 (Why is no real title available?)
• Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics
• Parallel Processing and Applied Mathematics
• Verified solving of linear systems with uncertainties in Maple
• A method of obtaining verified solutions for linear systems suited for Java

Describes a project that uses

Uses Software

• NAPACK
• pchip

This page was built for publication:

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