Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

Verification of Linear (In)Dependence in Finite Precision Arithmetic

Rohn, Jiri

Mathematics in Computer Science , Volume 8 (4) – Jul 25, 2014

Read Article

Download PDF

Share Full Text for Free

6 pages

We present theoretical background for verification of linear dependence/independence of columns of a matrix by means of finite precision arithmetic.

Loading next page...

References (8)

(1983)
Introduction to Interval Computations
(2009)
VERSOFT: Verification software
T. Greville (1959)
The Pseudoinverse of a Rectangular or Singular Matrix and Its Application to the Solution of Systems of Linear Equations
Siam Review, 1
H. Yanai, K. Takeuchi, Y. Takane (2011)
Generalized Inverse Matrices
R. Penrose (1955)
A generalized inverse for matrices
Proc. Camb. Philos. Soc., 51
R.A. Horn, C.R. Johnson (1985)
Matrix Analysis
(2008)
VERPINV: Verified pseudoinverse of a real matrix
Andrzej Chrzeszczyk, Jan Kochanowski (2011)
Matrix Computations

Publisher: Springer Journals
Copyright: Copyright © 2014 by Springer Basel
Subject: Mathematics; Mathematics, general; Computer Science, general
ISSN: 1661-8270
eISSN: 1661-8289
DOI: 10.1007/s11786-014-0196-7
Publisher site: See Article on Publisher Site

Abstract

We present theoretical background for verification of linear dependence/independence of columns of a matrix by means of finite precision arithmetic.

Journal

Mathematics in Computer Science – Springer Journals

Published: Jul 25, 2014

There are no references for this article.