Tensors

Decision Diagrams for Symbolic Verification of Quantum Circuits
Quantum soundness of testing tensor codes