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