On the Algebraic Proof Complexity of Tensor Isomorphism.

Nicola Galesi Joshua A. Grochow Toniann Pitassi Adrian She

Published in: CCC (2023)

Keyphrases

higher order
high order
theorem proving
genetic algorithm
search algorithm
computational complexity
medical images
theorem prover