Verification of linear (in)dependence in finite precision arithmetic

DOI10.1007/S11786-014-0196-7MaRDI QIDQ475419zbMATH OpenOpenAlexFDO

Authors Jiří Rohn

Publication date 27 November 2014

Published in Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11786-014-0196-7

zbMATH Keywords

verificationlinear independencefinite precision arithmeticlinear dependenceMATLAB filepseudoinverse matrix

Mathematics Subject Classification ID

Roundoff error (65G50) Interval and finite arithmetic (65G30)

Cites work

• scientific article; zbMATH DE number 3880009 (Why is no real title available?)
• scientific article; zbMATH DE number 961607 (Why is no real title available?)
• scientific article; zbMATH DE number 3111121 (Why is no real title available?)
• Matrix Analysis
• The Pseudoinverse of a Rectangular or Singular Matrix and Its Application to the Solution of Systems of Linear Equations

Cited in

(2)

• Bit-precise verification of discontinuity errors under fixed-point arithmetic
• scientific article; zbMATH DE number 5693751 (Why is no real title available?)

Describes a project that uses

Uses Software

• VERSOFT
• VERPINV
• Matlab

This page was built for publication: Verification of linear (in)dependence in finite precision arithmetic

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