Matrix-Free Proof of a Regularity Characterization.

Andrzej Czygrinow Brendan Nagle

Published in: Electron. J. Comb. (2003)

Keyphrases

singular value decomposition
theorem prover
linear algebra
information systems
theorem proving
linear logic
databases
neural network
artificial intelligence
decision trees
low rank
matrix representation