The Elimination Matrix: Some Lemmas and Applications.

Jan R. Magnus H. Neudecker

Published in: SIAM J. Algebraic Discret. Methods (1980)

Keyphrases

linear algebra
theorem prover
theorem proving
artificial intelligence
low rank
data sets
databases
social networks
decision trees
expert systems
recommender systems
probability distribution
binary matrix
dead end