Follow
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification. (arXiv:2103.15820v1 [cs.LO]) http://arxiv.org/abs/2103.15820
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification. (arXiv:2103.15820v1 [cs.LO]) http://arxiv.org/abs/2103.15820