Verification of linear (in)dependence in finite precision arithmetic

DOI10.1007/S11786-014-0196-7zbMATH Open1302.65121OpenAlexW2074879543MaRDI QIDQ475419FDOQ475419

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

• Matrix Analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

Uses Software

• Matlab
• VERPINV
• VERSOFT

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)