Formally Verified Conditions for Regularity of Interval Matrices.

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

sufficient conditions
singular value decomposition
real world
decision making
matrix representation
database
sparse matrix
pairwise comparison
positive definite
singular values
linear combination
fuzzy sets
computational intelligence
least squares
case study
website
information retrieval