A Theorem on Boolean Matrices.

Stephen Warshall

Published in: J. ACM (1962)

Keyphrases

boolean functions
real valued
pairwise comparison
von neumann
singular value decomposition
multi valued
boolean logic
database
machine learning
knowledge base
image sequences
singular values
data matrix
interactive theorem proving