On the algebraic proof complexity of Tensor Isomorphism.

Nicola Galesi Joshua A. Grochow Toniann Pitassi Adrian She

Published in: CoRR (2023)

Keyphrases

higher order
high order
computational complexity
data sets
multiscale
dimensionality reduction
description logics
theorem prover
theorem proving
space complexity