Refining and verifying the solution of a linear system

DOI10.1145/2331684.2331711MaRDI QIDQ2819636zbMATH OpenOpenAlexWikidataFDO

Authors Hong Diep Nguyen, Nathalie Revol

Publication date 29 September 2016

Published in Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-00641659/file/Nguyen-Revol-SNC.pdf

zbMATH Keywords

accuracyfloating-point arithmeticinterval arithmeticnumerical linear algebraprecisionsymbolic-numeric computationverified computations

Mathematics Subject Classification ID

Iterative numerical methods for linear systems (65F10) Algorithms with automatic result verification (65G20) Symbolic computation and algebraic computation (68W30)

Recommendations

• Tight enclosures of solutions of linear systems
• scientific article; zbMATH DE number 1206063
• Fast verified solutions of linear systems
• scientific article; zbMATH DE number 1424515
• Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations

Cited in

(5)

• Numeric-symbolic exact rational linear system solver
• Tight enclosures of solutions of linear systems
• Inner and outer estimations of the generalized solution sets and an application in economic
• An algorithm for automatically selecting a suitable verification method for linear systems
• Verified solving of linear systems with uncertainties in Maple

This page was built for publication: Refining and verifying the solution of a linear system

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