On the Undecidability of the Freeness of Integer Matrix Semigroups.

David A. Klarner Jean-Camille Birget Wade Satterfield

Published in: Int. J. Algebra Comput. (1991)

Keyphrases

binary matrix
singular value decomposition
description logics
covariance matrix
low rank
database
data sets
expert systems
dimensionality reduction
floating point
linear algebra
probabilistic planning
coefficient matrix
range searching