Login / Signup
Witnessing matrix identities and proof complexity.
Fu Li
Iddo Tzameret
Published in:
Int. J. Algebra Comput. (2018)
Keyphrases
</>
computational complexity
space complexity
data mining
artificial intelligence
similarity measure
multiscale
computational cost
worst case
principal component analysis
decision problems
theorem prover
singular values