A method of obtaining verified solutions for linear systems suited for Java

DOI10.1016/J.CAM.2005.08.034MaRDI QIDQ861896zbMATH OpenOpenAlexFDO

Authors Katsuhisa Ozaki, Takeshi Ogita, Shinya Miyajima, Shin'ichi Oishi, Siegfried M. Rump

Publication date 2 February 2007

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cam.2005.08.034

zbMATH Keywords

approximate inversedirected roundingerror boundGaussian eliminationlinear systemnumerical experimentsverified computation

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Algorithms with automatic result verification (65G20) Roundoff error (65G50)

Recommendations

• scientific article; zbMATH DE number 804617
• Solvers for the verified solution of parametric linear systems
• Solution of linear systems with verified accuracy
• Fast verified solutions of linear systems
• Problem-oriented verification system and its application to linear algebra programs
• scientific article; zbMATH DE number 1206063
• An algorithm for automatically selecting a suitable verification method for linear systems
• On a Java computer algebra system, its performance and applications
• Evaluation of a Java Computer Algebra System
• scientific article; zbMATH DE number 1424515

Cites work

• A floating-point technique for extending the available precision
• Accurate Floating-Point Summation Part I: Faithful Rounding
• Accurate Sum and Dot Product
• Fast verification of solutions of matrix equations
• scientific article; zbMATH DE number 714516 (Why is no real title available?)
• scientific article; zbMATH DE number 3303655 (Why is no real title available?)
• scientific article; zbMATH DE number 961607 (Why is no real title available?)

Cited in

(5)

• Verified numerical computations for large-scale linear systems.
• An algorithm for automatically selecting a suitable verification method for linear systems
• Method for verifying solutions of sparse linear systems with general coefficients
• Fast enclosure for all eigenvalues in generalized eigenvalue problems
• Fast enclosure for solutions in underdetermined systems

Describes a project that uses

Uses Software

• JAMPACK
• JAMA
• JLAPACK

This page was built for publication: A method of obtaining verified solutions for linear systems suited for Java

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