Verified solving of linear systems with uncertainties in Maple

DOI10.1007/3-540-62598-4_88MaRDI QIDQ6560250zbMATH OpenFDO

Authors Nelli S. Dimitrova, Christian P. Ullrich

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-62598-4_88

Mathematics Subject Classification ID

Iterative numerical methods for linear systems (65F10) Algorithms with automatic result verification (65G20)

Recommendations

• scientific article; zbMATH DE number 1206063
• scientific article; zbMATH DE number 804617
• scientific article; zbMATH DE number 1424515
• scientific article; zbMATH DE number 5917352
• Refining and verifying the solution of a linear system

This page was built for publication: Verified solving of linear systems with uncertainties in Maple

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