Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm)
نویسندگان
چکیده
منابع مشابه
Interval Pseudo-Inverse Matrices and Interval Greville Algorithm
This paper investigates interval pseudo-inverse matrices. We state an Interval Greville algorithm and extensions with bisections for calculation of interval pseudo-inverse matrices and give the examples of interval pseudo-inversion application for estimation of solutions of systems of linear equations, and show applications for estimations of solutions and pseudo-solutions in a least squares se...
متن کاملAn Algorithm for Checking Regularity of Interval Matrices
Checking regularity (or singularity) of interval matrices is a known NP-hard problem. In this paper a general algorithm for checking regularity/singularity is presented which is not a priori exponential. The algorithm is based on a theoretical result according to which regularity may be judged from any single component of the solution set of an associated system of linear interval equations. Nu...
متن کاملAE regularity of interval matrices
Consider a linear system of equations with interval coefficients, and each interval coefficient is associated with either a universal or an existential quantifier. The AE solution set and AE solvability of the system is defined by $\forall\exists$-quantification. Herein, we deal with the problem what properties must the coefficient matrix have in order that there is guaranteed an existence of a...
متن کاملA note on positive deniteness and stability of interval matrices
It is proved that by using bounds of eigenvalues of an interval matrix, someconditions for checking positive deniteness and stability of interval matricescan be presented. These conditions have been proved previously with variousmethods and now we provide some new proofs for them with a unity method.Furthermore we introduce a new necessary and sucient condition for checkingstability of interval...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Reliable Computing
سال: 2004
ISSN: 1385-3139
DOI: 10.1023/b:reom.0000032111.16328.b2