Login / Signup
Removal Lemmas for Matrices.
Noga Alon
Omri Ben-Eliezer
Published in:
CoRR (2016)
Keyphrases
</>
singular value decomposition
theorem proving
website
theorem prover
databases
search engine
image processing
objective function
knowledge representation
data matrix
positive definite
pairwise comparison
linear complementarity problem
proof search