The Strength of Multilinear Proofs.

Ran Raz Iddo Tzameret

Published in: Comput. Complex. (2008)

Keyphrases

higher order
theorem proving
data sets
equational theories
theorem prover
decision procedures
tensor decomposition
mathematical proofs
search engine
video sequences
high order
website
natural language
relational databases
principal component analysis
dimensionality reduction